|
Zapiski Nauchnykh Seminarov LOMI, 1976, Volume 60, Pages 3–14
(Mi znsl2065)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
An iterative description of the class $\varepsilon^1$ of Grzegorczyk's hierarchy
A. P. Beltiukov
Abstract:
A class of abstract computing machines is described. It is proved that the class of all functions computable by these machines coincides with the class $\varepsilon^1$ of Grzegorczyk's hierarchy.
Citation:
A. P. Beltiukov, “An iterative description of the class $\varepsilon^1$ of Grzegorczyk's hierarchy”, Studies in constructive mathematics and mathematical logic. Part VII, Zap. Nauchn. Sem. LOMI, 60, "Nauka", Leningrad. Otdel., Leningrad, 1976, 3–14; J. Soviet Math., 14:5 (1980), 1429–1436
Linking options:
https://www.mathnet.ru/eng/znsl2065 https://www.mathnet.ru/eng/znsl/v60/p3
|
|