References
Moldestad, J.;Stoltenberg-Hausen, V.;Tucker, J. Finite algorithmic procedures and computation theories. Math.Scand. 46(1980), 77–94.
Fenstad, J. General Recursion Theory. Springer — Varlag, Berlin, 1980.
Coustable, R.G.;Gries, D. On classes of program schemata,SIAM. Comput. 1(1972), 66–118.
Ershov,A.P.;Lyapunov,A.A. On formalization of conception of programm.Cybernetics, 1967, no.5, 40–57.
Soloviev,V.D. The structure of close classes of computable functions and predicates. Izvastia vuzov.Matematika. 1982, no.12, 51–56.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soloviev, V.D. (1987). Nondeterministic finite algorithmic procedures as the models of abstract computability. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_88
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_88
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive