Criteria for the algorithmic completeness of the systems of operations

V. A. Nepomniaschy. Criteria for the algorithmic completeness of the systems of operations. In Andrei P. Ershov, V. A. Nepomniaschy, editors, International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings. Volume 5 of Lecture Notes in Computer Science, pages 172-186, Springer, 1972.

Abstract

Abstract is missing.