|
Conferences in DBLP
- Jouko A. Väänänen
Generalized Quantifiers, an Introduction. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:1-17 [Conf]
- Leonid Libkin, Juha Nurmonen
Counting and Locality over Finite Structures: A Survey. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:18-50 [Conf]
- Iain A. Stewart
A Perspective on Lindström Quantifiers and Oracles. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:51-71 [Conf]
- Thomas Eiter, Georg Gottlob, Helmut Veith
Generalized Quantifiers in Logic Programs. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:72-98 [Conf]
- Heribert Vollmer
A Generalized Quantifier Concept in Computational Complexity Theory. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:99-123 [Conf]
- Kerkko Luosto
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP] ESSLLI, 1997, pp:124-139 [Conf]
|