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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1754 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Generalized quantifiers and computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97, Aix-en-Provence, France, August 1997, revised lectures, Jouko Väänänen, (ed.), 1999, New York, Springer, 1 vol. (139 p.), Lecture notes in computer science, 3-540-66993-0 • Generalized Quantifiers and Computation, Texte imprimé, 9783662212226 |
Table des matières:
- 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.