Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language and Information, ESSLLI'97, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures,9783540669937

Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language and Information, ESSLLI'97, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures

by ;
ISBN13: 9783540669937
ISBN10: 3540669930
Format: Paperback
Pub. Date: 2000-02-01
Publisher(s): Springer Verlag
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $99.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$42.90*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $54.58

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.

Table of Contents

Generalized Quantifiers, an Introduction
1(17)
Jouko Vaananen
Counting and Locality over Finite Structures A Survey
18(33)
Leonid Libkin
Juha Nurmonen
A Perspective on Lindstrom Quantifiers and Oracles
51(21)
Iain A. Stewart
Generalized Quantifiers in Logic Programs
72(27)
Thomas Eiter
Georg Gottlob
Helmut Veith
A Generalized Quantifier Concept in Computational Complexity Theory
99(25)
Heribert Vollmer
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers
124
Kerkko Luosto

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.