Geodesic
Equivalence of normal algorithms and recursive functions
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 75-139
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@article{TM_1958_52_a3,
     author = {V. K. Detlovs},
     title = {Equivalence of normal algorithms and recursive functions},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {75--139},
     year = {1958},
     volume = {52},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TM_1958_52_a3/}
}
TY  - JOUR
AU  - V. K. Detlovs
TI  - Equivalence of normal algorithms and recursive functions
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1958
SP  - 75
EP  - 139
VL  - 52
UR  - http://geodesic.mathdoc.fr/item/TM_1958_52_a3/
LA  - ru
ID  - TM_1958_52_a3
ER  - 
%0 Journal Article
%A V. K. Detlovs
%T Equivalence of normal algorithms and recursive functions
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1958
%P 75-139
%V 52
%U http://geodesic.mathdoc.fr/item/TM_1958_52_a3/
%G ru
%F TM_1958_52_a3
V. K. Detlovs. Equivalence of normal algorithms and recursive functions. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 75-139. http://geodesic.mathdoc.fr/item/TM_1958_52_a3/