TY  - JOUR
AU  - A. A. Savelyev
TI  - A completeness criterion for systems of operations in programs with finite memory
JO  - Izvestiâ vysših učebnyh zavedenij. Matematika
PY  - 1987
SP  - 76
EP  - 79
IS  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IVM_1987_7_a12/
LA  - ru
ID  - IVM_1987_7_a12
ER  -