Изв. вузов. Матем.,
1987, номер 7, страницы 76–79
(Mi ivm7783)
|
Краткие сообщения
Критерий полноты систем операций в программах с конечной памятью
А. А. Савельев г. Казань
УДК:
51.62
MSC: Primary
68N05; Secondary
03B50 Поступила: 28.02.1986
Англоязычная версия:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1987,
31:7,
100–105
Реферативные базы данных:
© , 2024