Title: Logic and Games on Automatic Structures
Subjects: Data processing, Symbolic and mathematical Logic, Computer science, Artificial intelligence, Algebra, Computer logic, Model theory, Mathematical Logic and Foundations, Symbolic and Algebraic Manipulation, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)