Parity Games and Propositional Proofs.
Emerging
0
Citations0
Refs2013
Year
Search Works
Work Details
- OpenAlex ID W2407600136
- Type Preprint
- Language EN
- Published 01 Jan 2013
- Volume 20
- Pages 92
- Source Electronic colloquium on computational c…
- Publisher Society for Industrial and Applied …
- Added 24 Jun 2016
- Updated 16 Oct 2026
External Links
MENU
0
Parity Games and Propositional Proofs.
Preprint 2013 EN
0
Citations
0
References
3
Authors
0.00
FWCI
Topics
Keywords
Authors & Affiliations
3 authors| # | Author | Institutions | ORCID |
|---|---|---|---|
| 1 | Pavel Pudlák | — | |
| 2 | Arnold Beckmann | — | |
| 3 | Neil Thapen | — |
Related Works
10Data: OpenAlex