Geodesic
Finite alogorithmic procedures and computation theories.
Mathematica Scandinavica, Tome 46 (1980), pp. 77-94

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : recursion-theoretic properties of computable functions, computation theories, register machines, relational system, finite algorithmic procedures, partial recursive functions 
@article{MS2_1980__46_166691,
     author = {J. Moldestad and V. Stoltenberg-Hansen},
     title = {Finite alogorithmic procedures and computation theories.},
     journal = {Mathematica Scandinavica},
     pages = {77--94},
     publisher = {mathdoc},
     volume = {46},
     year = {1980},
     zbl = {0419.68078},
     url = {http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/}
}
TY  - JOUR
AU  - J. Moldestad
AU  - V. Stoltenberg-Hansen
TI  - Finite alogorithmic procedures and computation theories.
JO  - Mathematica Scandinavica
PY  - 1980
SP  - 77
EP  - 94
VL  - 46
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/
ID  - MS2_1980__46_166691
ER  - 
%0 Journal Article
%A J. Moldestad
%A V. Stoltenberg-Hansen
%T Finite alogorithmic procedures and computation theories.
%J Mathematica Scandinavica
%D 1980
%P 77-94
%V 46
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/
%F MS2_1980__46_166691
J. Moldestad; V. Stoltenberg-Hansen. Finite alogorithmic procedures and computation theories.. Mathematica Scandinavica, Tome 46 (1980), pp. 77-94. http://geodesic.mathdoc.fr/item/MS2_1980__46_166691/