Parity Games and Propositional Proofs

DOI10.1007/978-3-642-40313-2_12zbMath1343.03043OpenAlexW2123202585MaRDI QIDQ2849902

Arnold Beckmann, Pavel Pudlák, Neil Thapen

Publication date: 20 September 2013

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

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

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Mechanization of proofs and logical operations (03B35) Combinatorial games (91A46) Complexity of proofs (03F20)

This page was built for publication: Parity Games and Propositional Proofs