Proof complexity

Emerging

0
Citations
0
Refs
2019
Year
Search Works
Work Details
  • OpenAlex ID W6983990798
  • Type Article
  • Language EN
  • Published 01 Jan 2019
  • Added 10 Oct 2025
  • Updated 30 Oct 2026
External Links
OpenAlex Record Publisher Page
MENU
0

Proof complexity

Article 2019 EN

0

Citations

0

References

1

Authors

0.00

FWCI

Topics
Keywords
Authors & Affiliations
1 authors
#AuthorInstitutionsORCID
1 Jan Krajíček Corresponding — —
Related Works
10

Data: OpenAlex