Generalized Quantifiers and Computation

9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures

  • Jouko Väänänen
Conference proceedings ESSLLI 1997

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1754)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Jouko Väänänen
    Pages 1-17
  3. Leonid Libkin, Juha Nurmonen
    Pages 18-50
  4. Thomas Eiter, Georg Gottlob, Helmut Veith
    Pages 72-98

About these proceedings

Introduction

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 quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.

Keywords

Counting Mathematical Logic Ramsey theory complexity complexity theory computational complexity finite model theory logic logic programming quantifiers

Editors and affiliations

  • Jouko Väänänen
    • 1
  1. 1.Department of MathematicsUniversity of HelsinkiHelsinkiFinland

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46583-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66993-7
  • Online ISBN 978-3-540-46583-6
  • Series Print ISSN 0302-9743
  • About this book