"Relations Between Diagonalization, Proof Systems, and Complexity Gaps ..."

Juris Hartmanis (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics