A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
Type two computational complexity
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Transformations on straight line programs - (Preliminary Version)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Efficient compilation of linear recursive programs
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
On formalised computer programs
Journal of Computer and System Sciences
Program schemes, recursion schemes, and formal languages
Journal of Computer and System Sciences
Hi-index | 0.00 |
A preordering =