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

By Lukasz Kaiser

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642228062
• ISBN13: 9783642228063
• Release Date: July 2011
• Publisher: Springer
• Length: 118 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.4"