An edition of Finite model theory (1995)

Finite Model Theory

First Edition

Finite Model Theory
Heinz-Dieter Ebbinghaus, Jörg ...
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by MARC Bot
September 28, 2024 | History
An edition of Finite model theory (1995)

Finite Model Theory

First Edition

Finite model theory has its origins in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the resp. parts on model theory and descriptive complexity theory may be read independently.

Publish Date
Language
English
Pages
327

Buy this book

Edition Availability
Cover of: Finite Model Theory
Finite Model Theory: First Edition
2013, Springer London, Limited
in English
Cover of: Finite Model Theory
Finite Model Theory: Second Edition
2005, Springer London, Limited
in English
Cover of: Finite Model Theory (Perspectives in Mathematical Logic)
Finite Model Theory (Perspectives in Mathematical Logic)
July 27, 2004, Springer
Paperback in English - 2nd rev. and enlarged ed. edition
Cover of: Finite model theory
Finite model theory
1999, Springer
in English - 2nd rev. and enl. ed.
Cover of: Finite model theory
Finite model theory
1995, Springer
in English

Add another edition?

Book Details


Classifications

Library of Congress
QA1-939, QA8.9-10.3

The Physical Object

Pagination
xv, 327
Number of pages
327

Edition Identifiers

Open Library
OL35796256M
ISBN 13
9783662031827

Work Identifiers

Work ID
OL84823W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
September 28, 2024 Edited by MARC Bot import existing book
July 30, 2019 Edited by MARC Bot associate edition with work OL84823W
June 30, 2019 Edited by MARC Bot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
October 17, 2009 Created by WorkBot add works page