Finite Model Theory

J?rg Flum Heinz-Dieter Ebbinghaus

ISBN 10: 3540287876 / ISBN 13: 9783540287872

Edité par Springer, 2005

A propos de cet article

pp. 374 2nd Printing.

N° de réf. du vendeur 26299422

Détails bibliographiques

• Titre: Finite Model Theory
• Éditeur: Springer
• Date de parution: 2005
• Langue: anglais
• ISBN à 10 chiffres: 3540287876
• ISBN à 13 chiffres: 9783540287872
• Reliure: Couverture rigide
• Édition: 2ème Édition
• État de l'article: New

A propos de ce titre

Synopsis

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.