Journal of the ACM Bibliography
D. Tsichritzis. The equivalence
problem of simple programs. Journal of the ACM,
17(4):729-738, October 1970.
[BibTeX entry]
Additional Key Words and Phrases:
equivalence of programs, primitive recursive functions, loop programs,
unsolvability, subrecursive hierarchies, elementary functions
Shortcuts: