Computations on register machines with counters
Diskretnaya Matematika, Tome 29 (2017) no. 1, pp. 95-113

Voir la notice de l'article provenant de la source Math-Net.Ru

Computational capabilities of register machines with counters is investigated. It is shown that the class of functions that are strictly computable on register machines with counters agrees with that of total recursive functions.
Keywords: register machines with counters.
@article{DM_2017_29_1_a7,
     author = {I. V. Savitskii},
     title = {Computations on register machines with counters},
     journal = {Diskretnaya Matematika},
     pages = {95--113},
     publisher = {mathdoc},
     volume = {29},
     number = {1},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2017_29_1_a7/}
}
TY  - JOUR
AU  - I. V. Savitskii
TI  - Computations on register machines with counters
JO  - Diskretnaya Matematika
PY  - 2017
SP  - 95
EP  - 113
VL  - 29
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2017_29_1_a7/
LA  - ru
ID  - DM_2017_29_1_a7
ER  - 
%0 Journal Article
%A I. V. Savitskii
%T Computations on register machines with counters
%J Diskretnaya Matematika
%D 2017
%P 95-113
%V 29
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2017_29_1_a7/
%G ru
%F DM_2017_29_1_a7
I. V. Savitskii. Computations on register machines with counters. Diskretnaya Matematika, Tome 29 (2017) no. 1, pp. 95-113. http://geodesic.mathdoc.fr/item/DM_2017_29_1_a7/