Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions - Couverture souple

Kaiser, Lukasz

 
9783642228063: Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions
Couverture souple
ISBN 10 : 3642228062 ISBN 13 : 9783642228063
Editeur : Springer, 2011

Synopsis

This book presents an innovative study in algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It is based on the PhD thesis of Lukasz Kaiser, which was awarded the E.W. Beth award.

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

Présentation de l'éditeur

This book presents an innovative study in algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It is based on the PhD thesis of Lukasz Kaiser, which was awarded the E.W. Beth award.

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
3642228062
ISBN 13 
9783642228063
Reliure
Broché
Nombre de pages
132
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

9783642228087: Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Edition présentée

ISBN 10 :  3642228089 ISBN 13 :  9783642228087
Editeur : Springer, 2011
Couverture souple