article · 2019

Proof complexity

Krajíček, Jan 1960-

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Krajíček, J. . (2019). Proof complexity.

Krajíček, Jan 1960-. “Proof complexity.” 2019.

Krajíček, Jan 1960-. 2019. “Proof complexity.”

Krajíček, J. (2019) ‘Proof complexity’.

BibTeX

@article{krajicek2019proof,
  title = {{Proof complexity}},
  author = {Krajíček, Jan 1960-},
  year = {2019}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.