Характеризация ITBM-вычислимости II Научная публикация

Журнал	Алгебра и логика ISSN: 0373-9252
Вых. Данные	Год: 2021, Том: 60, Номер: 1, Страницы: 39-56 Страниц : 18 DOI: 10.33048/alglog.2020.60.103
Ключевые слова	вычислимость на машинах Блюм–Шуба–Смейла, бесконечные формулы
Авторы	Кёпке П. 1 , Морозов А.С. 2,3
Организации	1 Rheinische Friedrich-Wilhelms-Universität Bonn 2 Институт математики им. С.Л. Соболева СО РАН 3 Новосибирский государственный университет