author = { Kaiser, Łukasz },

title = { Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642228070},

keywords = { Algebra Data processing , Logic, Symbolic and mathematical , Computer Science , Computer science , Artificial intelligence , Machine theory. , Mathematical logic. , Spieltheorie , Automat Automatentheorie , Mathematische Logik , Model Checking , Lindström-Quantor },

year = {2011},

booktitle = {Lecture Notes in Computer Science ; 6810},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }