Proof Systems and Transformation Games

DOI10.1007/978-3-642-15155-2_9zbMath1273.91029OpenAlexW1585561778MaRDI QIDQ3586074

Michael Zuckerman, Yoram Bachrach, Michael Wooldridge, Jeffrey S. Rosenschein

Publication date: 3 September 2010

Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15155-2_9

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cooperative games (91A12) Complexity of proofs (03F20)

Related Items (1)

Proof systems and transformation games

This page was built for publication: Proof Systems and Transformation Games