Finite Model Theory: Second Edition

by Heinz-Dieter Ebbinghaus and Jörg Flum

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 3540287876
• ISBN13: 9783540287872
• Release Date: October 2005
• Publisher: Springer
• Length: 360 Pages
• Weight: 1.47 lbs.
• Dimensions: 1.0" x 6.5" x 9.5"