RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика. Семинар, 1966, том 5, номер 5, страницы 69–83 (Mi al1071)

О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств

В. А. Непомнящий


Поступило: 27.06.1966



Реферативные базы данных:


© МИАН, 2024