ISBN: 3-540-66993-0
TITLE: Generalized Quantifiers and Computation
AUTHOR: Vnnen, Jouko (Ed.)
TOC:

Generalized Quantifiers, an Introduction 1
Jouko Vnnen
Counting and Locality over Finite Structures A Survey 18
Leonid Libkin, Juha Nurmonen
A Perspective on Lindstrm Quantifiers and Oracles 51
Iain A. Stewart
Generalized Quantifiers in Logic Programs 72
Thomas Eiter, Georg Gottlob, Helmut Veith
A Generalized Quantifier Concept in Computational Complexity Theory 99
Heribert Vollmer
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers 124
Kerkko Luosto
END
