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

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...

Full description

Main Author: Kaiser, Łukasz.
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Series: Lecture Notes in Computer Science, 6810
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-22807-0
Tags: Add Tag
No Tags, Be the first to tag this record!