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

ver descrição completa

Detalhes bibliográficos
Autor principal: Kaiser, Lukasz
Autor Corporativo: SpringerLink (Online service)
Formato: Electronic Resource
Idioma:English
Publicado em: Berlin, Heidelberg Springer 2011.
Colecção:Lecture Notes in Computer Science 6810
Assuntos:
Acesso em linha:Available for University of the Philippines Diliman via SpringerLink. Click here to access