Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 1, Tome 52 (1958), pp. 75-139
Citer cet article
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/
@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
