You might also like

More about Finite Model Theory

• Book details
• Synopsis
• Trending among others

You get 480 loyalty points

Book synopsis

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database 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, optimization and approximation problems.§

Book details

Book category Books in English Mathematics & science Mathematics Applied mathematics

• Full title: Finite Model Theory
• Author: Heinz-Dieter Ebbinghaus, Jörg Flum
• Language: English
• Binding: Hardback
• Number of pages: 360
• EAN: 9783540287872
• ISBN: 3540287876
• ID: 01561114
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 1550 g
• Dimensions: 235 × 155 × 27 mm
• Date of publishing: 06. October 2005

Trending among others

---

---

---