Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version)

Juris Hartmanis

Browse the full STOC paper archive.