A proof complexity conjecture and the Incompleteness theorem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jan Krajícek. A proof complexity conjecture and the Incompleteness theorem. Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]

@article{Krajicek23a,
  title = {A proof complexity conjecture and the Incompleteness theorem},
  author = {Jan Krajícek},
  year = {2023},
  url = {https://eccc.weizmann.ac.il/report/2023/030},
  researchr = {https://researchr.org/publication/Krajicek23a},
  cites = {0},
  citedby = {0},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  volume = {TR23},
}

runs on WebDSL