A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
On Effective Procedures for Speeding Up Algorithms
Journal of the ACM (JACM)
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
On Almost Everywhere Complex Recursive Functions
Journal of the ACM (JACM)
Recursion As an Effective Step in Program Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
A programming language theorem which is independent of Peano Arithmetic
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Independence results in Computer Science? (Preliminary Version)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |