Logic and Games on Automatic Structures
Subtitle: Playing with Quantifiers and Decompositions
By: by Łukasz Kaiser
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6810
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642228063; 9783642228070
Subjects: Data processing; Symbolic and mathematical Logic; Computer science; Artificial intelligence; Algebra