An edition of Finite model theory (1995)

Finite model theory

by and

Cover of: Finite model theory by Heinz-Dieter Ebbinghaus, Jörg Flum, Heinz-Dieter Ebbinghaus
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

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

Finite model theory

by and

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
Publisher
Springer
Language
English
Pages
327

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Model theory, Logica, Logique 1er ordre, Classe complexité, Modèles, théorie des, Isomorphisme, Théorie modèle, Mathematical logic, Set theory, Philosophy Of Mathematics, Mathematics, Science/Mathematics, Logic, Mathematics / Logic, Computer software, Computer science, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages

Showing 5 featured editions. View all 5 editions?

Edition Availability
Cover of: Finite Model Theory
Finite Model Theory: First Edition
2013, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Finite Model Theory
Finite Model Theory: Second Edition
2005, Springer London, Limited
in English
Libraries near you: WorldCat
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
Libraries near you: WorldCat
Cover of: Finite model theory
Finite model theory
1999, Springer
in English - 2nd rev. and enl. ed.
Libraries near you: WorldCat
Cover of: Finite model theory
Finite model theory
1995, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [313]-317) and index.

Published in
Berlin, New York
Series
Perspectives in mathematical logic

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.7 .E23 1995

The Physical Object

Pagination
xv, 327 p. :
Number of pages
327

ID Numbers

Open Library
OL798945M
Internet Archive
finitemodeltheor00ebbi_897
ISBN 10
354060149X
LCCN
95035175
OCLC/WorldCat
503438533

Source records

Scriblio MARC record
Internet Archive item record
Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

Feedback?
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