Skip to main content
  • Conference proceedings
  • © 1999

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

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

Conference series link(s): ESSLLI: European Summer School in Logic, Language and Information

Conference proceedings info: ESSLLI 1997.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-46583-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (6 papers)

  1. Front Matter

    Pages I-XI
  2. Generalized Quantifiers, an Introduction

    • Jouko Väänänen
    Pages 1-17
  3. Counting and Locality over Finite Structures A Survey

    • Leonid Libkin, Juha Nurmonen
    Pages 18-50
  4. Generalized Quantifiers in Logic Programs

    • Thomas Eiter, Georg Gottlob, Helmut Veith
    Pages 72-98

Other Volumes

  1. 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

About this book

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

  • Department of Mathematics, University of Helsinki, Helsinki, Finland

    Jouko Väänänen

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-46583-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)