RUS  ENG
Full version
JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive

Izv. Vyssh. Uchebn. Zaved. Mat., 1987 Number 7, Pages 76–79 (Mi ivm7783)

Brief communications

A completeness criterion for systems of operations in programs with finite memory

A. A. Savelyev


UDC: 51.62

MSC: Primary 68N05; Secondary 03B50

Received: 28.02.1986


 English version:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1987, 31:7, 100–105

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024