Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /

• Main Author: Kaiser, Łukasz (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Lecture Notes in Computer Science, 6810
• Subjects: Computer science.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Mathematical Logic and Foundations.

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. In this book, the author...