Finite Model Theory - Couverture rigide

Ebbinghaus, Heinz-Dieter; Flum, Jörg

 
9783540287872: Finite Model Theory
Couverture rigide
ISBN 10 : 3540287876 ISBN 13 : 9783540287872
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2005

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2005
Langue
anglais
ISBN 10 
3540287876
ISBN 13 
9783540287872
Reliure
Relié
Numéro d'édition
2
Nombre de pages
371
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540601494: Finite Model Theory

Edition présentée

ISBN 10 :  354060149X ISBN 13 :  9783540601494
Editeur : Springer-Verlag Berlin and Heide..., 1995
Couverture rigide