article · 2008
Proof complexity
Jan Krajícek
Cited by 0Abstract and details only
Abstract
This note, based on my 4ecm lecture, exposes few basic points of proof complexity in a way accessible to any mathematician.
Cite this paper
Krajícek, J. (2008). Proof complexity.
Krajícek, Jan. “Proof complexity.” 2008.
Krajícek, Jan. 2008. “Proof complexity.”
Krajícek, J. (2008) ‘Proof complexity’.
BibTeX
@article{krajicek2008proof,
title = {{Proof complexity}},
author = {Krajícek, Jan},
year = {2008}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.