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

Jouko Väänänen (Herausgeber)

Buch | Softcover

VI, 139 Seiten

2000 | 1999
Springer Berlin (Verlag)
978-3-540-66993-7 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	5.1.2000
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VI, 139 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	210 g
Themenwelt	Geisteswissenschaften ► Sprach- / Literaturwissenschaft ► Sprachwissenschaft
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Complexity • Complexity theory • Computational Complexity • Counting • Finite model theory • formale Sprachen • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Komplexität • Logic • Logic Programming • Logische Programmierung • Mathematical Logic • Mathematische Logik • quantifiers • Ramsey theory
ISBN-10	3-540-66993-0 / 3540669930
ISBN-13	978-3-540-66993-7 / 9783540669937
Zustand	Neuware