|
" Generalized quantifiers and computation "
Jouko Väänänen (ed.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604554
|
| Doc. No
|
:
|
b433773
|
| Main Entry
|
:
|
European Summer School in Logic, Language, and Information(9th :1997 :, Aix-en-Provence, France)
|
| Title & Author
|
:
|
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 (ed.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c1999.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 1754
|
| Page. NO
|
:
|
139 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
3540669930 (alk. paper)
|
|
|
:
|
: 9783540669937 (alk. paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
Generalized quantifiers, an introduction / Jouko Väänänen -- Counting and locality over finite structures : a survey / Leonid Libkin, Juha Nurmonen -- A perspective on Lindström quantifiers and oracles / Iain A. Stewart -- Generalized quantifiers in logic programs / Thomas Eiter, Georg Gottlob, Helmut Veith -- A generalized quantifier concept in computational complexity theory / Heribert Vollmer -- Ramsey theory is needed for solving definability problems of generalized quantifiers / Kerkko Luosto.
|
| Subject
|
:
|
Computer science-- Mathematics, Congresses.
|
| Subject
|
:
|
Computer logic, Congresses.
|
| Subject
|
:
|
Programming languages (Electronic computers), Congresses.
|
| Added Entry
|
:
|
Väänänen, J., (Jouko),1950-
|
| |