Generalized quantifiers and computation
Subtitle: 9th European Summer School in Logic, Language, and Information, ESSLLI'97  workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
By: Jouko Väänänen, (ed.).
Contributors: Väänänen, J. 1950-
Series: Lecture notes in computer science -- 1754
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 139
Subjects: Computer science -- Mathematics; Computer logic; Programming languages (Electronic computers)
Other titles: ESSLLI'97, generalized quantifiers and computation
Notes: Includes bibliographical references.
Table of contents: title: Generalized quantifiers, an introduction -- Jouko Väänänen; title: Counting and locality over finite structures : a survey -- Leonid Libkin, Juha Nurmonen -- A; title: perspective on Lindström quantifiers and oracles -- Iain A. Stewart; title: Generalized quantifiers in logic programs -- Thomas Eiter, Georg Gottlob, Helmut Veith -- A; title: generalized quantifier concept in computational complexity theory -- Heribert Vollmer; title: Ramsey theory is needed for solving definability problems of generalized quantifiers-- Kerkko Luosto.