Parity Games and Propositional Proofs.

Emerging


0
Citations
0
Refs
2013
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
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
#AuthorInstitutionsORCID
1 Pavel Pudlák —
2 Arnold Beckmann —
3 Neil Thapen —

Data: OpenAlex