Parity Games and Propositional Proofs
| Date first appeared online | |
| DOI | 10.1007/978-3-642-40313-2_12 |
| Authors | Beckmann A. |
| Journal Name | Mathematical Foundations of Computer Science 2013 |
| Volume | 8087 |
| Date first appeared online | |
| DOI | 10.1007/978-3-642-40313-2_12 |
| Authors | Beckmann A. |
| Journal Name | Mathematical Foundations of Computer Science 2013 |
| Volume | 8087 |