Proof Systems and Transformation Games

Yoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein. Proof Systems and Transformation Games. In Petr Hlinený, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 78-89, Springer, 2010. [doi]

Abstract

Abstract is missing.