RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1970, том 192, номер 4, страницы 721–723 (Mi dan35438)

МАТЕМАТИКА

О сложности разрешения рекурсивно перечислимых множеств

М. И. Канович

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

Статья представлена к публикации: П. С. Новиков
Поступило: 27.11.1969



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


© МИАН, 2024