Box 9
Contains 88 Results:
Independence Results in Computer Science, 1976
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
On the Power of Multiplication in Random Access Machines, 1976
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
On Isomorphisms and Density of NP and Other Complete Sets, 1977
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
On Log-Tape Isomorphisms of Complete Sets, 1977
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
One-Way Log-Tape Reductions, 1978
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Quo Vadimus: Computer Science in a Decade, 1978
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
On Polynomial Time Isomorphisms of Some New Complete Sets, 1978
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Relations Between Diagonalization, Proof Systems, and Complexity Gaps, 1978
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
On the Succinctness of Different Representations of Languages, 1980
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Observations About the Development of Theoretical Computer Science, 1981
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.