Memory Requirements in a Multiprocessing Environment
Journal of the ACM (JACM)
By D. L. Epley, Y. E. Chen
Issue Date:January 1972
Many problems, some of them quite meaningful, have been proved to be recursively unsolvable for programs in general. The paper is directed toward a class of programs where many decision problems are solvable. The equivalence problem has been proved to be u...