МАТЕМАТИКА

Разрешимость проблемы эквивалентных преобразований в специальных автоматных моделях рекурсивных программ

Р. И. Подловченко

Московский государственный университет имени М. В. Ломоносова

УДК: 519.1

Статья представлена к публикации: Ю. И. Журавлев
Поступило: 12.11.1993

 Англоязычная версия: Doklady Mathematics, 1995, 50:1, 132–136

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

• 
•