Logic and games on automatic structures
Auteur :
Kaiser, Lukasz
Éditeur :
Kaiser, Lukasz
ISBN :
9783642228063
Date de publication :
22 juil. 2011
Dimensions :
23,5 x 15,5 x 0,8 cm
Poids :
209 g
Langue :
Anglais
Pays d'origine :
Allemagne
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.