Literature Cited
S. A. Berezin, “On the generation of binary primitive recursive functions,” in: Mathematical Research [in Russian], Vol. 7, No. 2, Kishinev (1972).
N. Bourbaki, Elements de Mathematiques: Topologie Generale, Chap. 1, structures Topologiques, Hermann, Paris (1971).
D. A. Zakharov, Recursive Functions [in Russian], Izd. Novosibirsk. Gos. Univ. (1970).
Yu. L. Ershov, “Positive equivalences,” Algebra i Logika,10, No. 6 (1971).
V. V. Koz'minykh, “On unate primitive recursive functions,” in: Algebra and Logic [in Russian], Vol. 7, No. 1, Novosibirsk (1968).
V. V. Koz'minykh, “On subalgebras of Robinson's algebra,” in: Algebra and Logic [in Russian], Vol. 9, No. 6, Novosibirsk (1970).
A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
M. D. Gladstone, “A reduction of recursion scheme,” J. Symbolic Logic,32, No. 4 (1967).
M. D. Gladstone, “Simplification of the recursion scheme,” J. Symbolic Logic,36, No. 4 (1971).
R. M. Robinson, “Primitive recursive functions,” Bull. Amer. Math. Soc., 53 (1947).
Additional information
Translated from Kibernetika, No. 3, pp. 12–19, May–June, 1976.
Rights and permissions
About this article
Cite this article
Berezin, S.A. An algebra of unate primitive recursive functions with iteration operation of general form. Cybern Syst Anal 12, 346–353 (1976). https://doi.org/10.1007/BF01070012
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070012