Одна неразрешимая алгоритмическая проблема

Л. И. Станевичене

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

УДК: 519.713

Поступила: 20.07.1993

 Англоязычная версия: Russian Mathematics (Izvestiya VUZ. Matematika), 1996, 40:6, 66–73

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

• 
•