An edition of Generalized quantifiers and computation (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

by

Generalized quantifiers and computation
European Summer School in Logi ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 18, 2024 | History
Edit
An edition of Generalized quantifiers and computation (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

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
139

Check nearby libraries

Buy this book

Subjects

Computer logic, Computer science, Mathematics, Programming languages (Electronic computers), Congresses, Computer science, mathematics, Formal languages, Logic, symbolic and mathematical, Set theory
Edition Availability
Cover of: Generalized quantifiers and computation
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-12 1997 : revised lectures
1999, Springer Verlag
in English
Cover of: Generalized quantifiers and computation
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
1999, Springer
in English

Add another edition?

Book Details

Table of Contents

Generalized quantifiers, an introduction -- Jouko Väänänen
Counting and locality over finite structures : a survey -- Leonid Libkin, Juha Nurmonen -- A
perspective on Lindström quantifiers and oracles -- Iain A. Stewart
Generalized quantifiers in logic programs -- Thomas Eiter, Georg Gottlob, Helmut Veith -- A
generalized quantifier concept in computational complexity theory -- Heribert Vollmer
Ramsey theory is needed for solving definability problems of generalized quantifiers-- Kerkko Luosto.

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science -- 1754
Other Titles
ESSLLI'97, generalized quantifiers and computation

Classifications

Library of Congress
QA76.9.M35 E97 1997, QA1-939

The Physical Object

Pagination
139 p. :
Number of pages
139

Edition Identifiers

Open Library
OL15476853M
ISBN 10
3540669930
LCCN
99088969
OCLC/WorldCat
43286987, 504996212
Goodreads
138595

Work Identifiers

Work ID
OL11589925W

Source records

Western Washington University MARC record
Library of Congress MARC record
Library of Congress MARC record
Better World Books record
Promise Item
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 18, 2024 Edited by MARC Bot import existing book
October 6, 2023 Edited by ImportBot import existing book
October 4, 2021 Edited by ImportBot import existing book
December 1, 2020 Edited by MARC Bot import existing book
September 20, 2008 Created by ImportBot Imported from Western Washington University MARC record