Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Finite Model Theory

Name: Finite Model Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561114
Price: 208.63 EUR
Availability: InStock
Author: Heinz-Dieter Ebbinghaus
ISBN: 9783540287872

Heinz-Dieter Ebbinghaus

Jörg Flum

Language

English

Book Hardback

Libristo code: 01561114

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2005

Finite model theory has roots in classical model theory, but owes its systematic development to rese... Full description

Libristo code: 01561114

504 b

208.63 €

In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Asphalt Massaka 3 Farid Bang

Audio CD

24.10 €

MOLINS DEL COLLSACABRA FRANCESC ROMA I CASANOVAS

Hardback

18.12 €

principle of planetary revolution and rotation Liu Dongfeng Liu

Paperback

15.69 €

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.§