Geodesic
Критерий полноты систем операций в программах с конечной памятью
Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 55-97.

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

@article{VMK_1990__24_69280,
     author = {{\CYRA}.{\CYRA}. {\CYRS}{\cyra}{\cyrv}{\cyre}{\cyrl}{\cyrsftsn}{\cyre}{\cyrv}},
     title = {{\CYRK}{\cyrr}{\cyri}{\cyrt}{\cyre}{\cyrr}{\cyri}{\cyrishrt} {\cyrp}{\cyro}{\cyrl}{\cyrn}{\cyro}{\cyrt}{\cyrery} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm} {\cyro}{\cyrp}{\cyre}{\cyrr}{\cyra}{\cyrc}{\cyri}{\cyrishrt} {\cyrv} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm}{\cyra}{\cyrh} {\cyrs} {\cyrk}{\cyro}{\cyrn}{\cyre}{\cyrch}{\cyrn}{\cyro}{\cyrishrt} {\cyrp}{\cyra}{\cyrm}{\cyrya}{\cyrt}{\cyrsftsn}{\cyryu}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {55--97},
     publisher = {mathdoc},
     volume = {24},
     year = {1990},
     zbl = {0850.68117},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1990__24_69280/}
}
TY  - JOUR
AU  - А.А. Савельев
TI  - Критерий полноты систем операций в программах с конечной памятью
JO  - Veroâtnostnye metody i kibernetika
PY  - 1990
SP  - 55
EP  - 97
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1990__24_69280/
LA  - ru
ID  - VMK_1990__24_69280
ER  - 
%0 Journal Article
%A А.А. Савельев
%T Критерий полноты систем операций в программах с конечной памятью
%J Veroâtnostnye metody i kibernetika
%D 1990
%P 55-97
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1990__24_69280/
%G ru
%F VMK_1990__24_69280
А.А. Савельев. Критерий полноты систем операций в программах с конечной памятью. Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 55-97. http://geodesic.mathdoc.fr/item/VMK_1990__24_69280/