[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