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  -