Conference Paper/Proceeding/Abstract 1446 views
Parity Games and Propositional Proofs
Arnold Beckmann 
,
Pavel Pudlák,
Neil Thapen
,
Pavel Pudlák,
Neil Thapen
Mathematical Foundations of Computer Science 2013, Volume: 8087, Pages: 111 - 122
Swansea University Author:
Arnold Beckmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-642-40313-2_12
Abstract
Parity Games and Propositional Proofs
| Published in: | Mathematical Foundations of Computer Science 2013 |
|---|---|
| Published: |
Berlin Heidelberg
Springer
2013
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa15232 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
111 |
| End Page: |
122 |