• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Finite Model Theory: Second Edition

Finite Model Theory: Second Edition

Hardcover

Series: Springer Monographs in Mathematics

Fiction

ISBN10: 3540287876
ISBN13: 9783540287872
Publisher: Springer
Published: Oct 6 2005
Pages: 360
Weight: 1.47
Height: 1.03 Width: 6.50 Depth: 9.48
Language: English

This volume presents the main results of descriptive complexity theory: the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. Important logics in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages. 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.

Also in

Fiction