Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Two-Tape Simulation of Multitape Turing Machines
Journal of the ACM (JACM)
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
Computational Complexity of One-Tape Turing Machine Computations
Journal of the ACM (JACM)
Unsolvability considerations in computational complexity
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Recursive properties of abstract complexity classes (Preliminary Version)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Classes of computable functions defined by bounds on computation: Preliminary Report
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Upward and Downward Diagonalization over Axiomatic Complexity Classes
Upward and Downward Diagonalization over Axiomatic Complexity Classes
Computational Complexity and the Existence of Complexity Gaps
Computational Complexity and the Existence of Complexity Gaps
Corrigendum: `` Computational Complexity and the Existence of Complexity Gaps''
Journal of the ACM (JACM)
Ordinal Hierarchies and Naming Complexity Classes
Journal of the ACM (JACM)
Relations between diagonalization, proof systems, and complexity gaps
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
The intensional content of Rice's theorem
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Learning recursive functions: A survey
Theoretical Computer Science
Quantitative Aspects of Speed-Up and Gap Phenomena
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Algorithms and theory of computation handbook
Quantitative aspects of speed-up and gap phenomena
Mathematical Structures in Computer Science
Turing machine-inspired computer science results
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
| Hi-index | 0.01 |