Cover Image
Read Now

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

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...

Full description

Bibliographic Details
Other Authors: Väänänen, Jouko (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1999, 1999
Edition:1st ed. 1999
Series:Lecture Notes in Computer Science
Subjects:
Theoretical Linguistics / Grammar
Linguistics
Mathematical Logic
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Generalized Quantifiers, an Introduction
  • Counting and Locality over Finite Structures A Survey
  • A Perspective on Lindström Quantifiers and Oracles
  • Generalized Quantifiers in Logic Programs
  • A Generalized Quantifier Concept in Computational Complexity Theory
  • Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers

Similar Items