Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Jouko Väänänen

    1. Department of Mathematics, University of Helsinki, Helsinki, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ESSLLI 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  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. A Perspective on Lindström Quantifiers and Oracles

    • Iain A. Stewart
    Pages 51-71

  5. Generalized Quantifiers in Logic Programs

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

  6. A Generalized Quantifier Concept in Computational Complexity Theory

    • Heribert Vollmer
    Pages 99-123

  7. Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers

    • Kerkko Luosto
    Pages 124-139
Back to top

Other volumes

  1. Generalized Quantifiers and Computation

Keywords

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.

Editors and Affiliations

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

    Jouko Väänänen

Bibliographic Information

  • Book Title: Generalized Quantifiers and Computation

  • Book Subtitle: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures

  • Editors: Jouko Väänänen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-46583-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1999

  • Softcover ISBN: 978-3-540-66993-7Published: 05 January 2000

  • eBook ISBN: 978-3-540-46583-6Published: 26 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VI, 139

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Grammar

Publish with us

Policies and ethics

Back to top

Search

Navigation