Box 8
Contains 62 Results:
Blum, Manuel; A Machine-Independent Theory of the Complexity of Recursive Functions
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Cobham, Alan; The Intrinsic Computational Difficulty
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Fischer, Patrick C.; Multi-Tape and Infinite-State Automata - A Survey
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Grzegorczyk, A.; Some Classes of Recursive Functions
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Hartmanis, J., and R. E. Stearns; On the Computational Complexity of Algorithms
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
McCarthy, J.; Towards a Mathematical Science of Computation
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
McCarthy, J.; A Basis for a Mathematical Theory of Computation, Preliminary Report
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Myhill, John; Linear Bounded Automata
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Rabin, Michael O.; Real Time Computation
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.
Rabin, Michael O.; Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets
Includes publications by Hartmanis and others in the field of computer science, correspondence, and subject files.