Finite Model Theory (Springer Monographs in Mathematics)
by Heinz-Dieter Ebbinghaus
"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 respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text. Book jacket."--BOOK JACKET.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Finite Model Theory (Springer Monographs in Mathematics)
November 14, 2005, Springer
Hardcover
in English
- 2nd ed. 1999. 2nd printing edition
3540287876 9783540287872
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| May 2, 2025 | Edited by MARC Bot | import existing book |
| December 8, 2022 | Edited by MARC Bot | import existing book |
| December 14, 2020 | Edited by MARC Bot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| July 29, 2014 | Created by ImportBot | import new book |