[Proof Complexity] Reckhow's Thesis

Stephen Cook sacook at cs.toronto.edu
Fri Feb 22 23:58:04 CET 2013


I have just posted on my web site a scanned copy of Robert Reckow's
1976 PhD thesis.

Steve


More information about the Proof-Complexity mailing list