Improving programs by the introduction of recursion
Communications of the ACM
On the decision problems of program schemas with commutative and invertible functions
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Synchronous schemes and their decision problems
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Degrees of translatability and canonical forms in program schemas: Part I
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
| Hi-index | 0.02 |