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

• Κύριος συγγραφέας: Kaiser, Łukasz (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Lecture Notes in Computer Science, 6810
• Θέματα: 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...