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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Väänänen, Jouko (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1754
• Θέματα: Mathematical logic.; Grammar.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

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

Πίνακας περιεχομένων:

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