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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Kaiser, Lukasz
Údar corparáideach: SpringerLink (Online service)
Formáid: Electronic Resource
Teanga:English
Foilsithe / Cruthaithe: Berlin, Heidelberg Springer 2011.
Sraith:Lecture Notes in Computer Science 6810
Ábhair:
Rochtain ar líne:Available for University of the Philippines Diliman via SpringerLink. Click here to access