Характеризация ITBM-вычислимости II Full article

Journal	Алгебра и логика ISSN: 0373-9252
Output data	Year: 2021, Volume: 60, Number: 1, Pages: 39-56 Pages count : 18 DOI: 10.33048/alglog.2020.60.103
Tags	вычислимость на машинах Блюм–Шуба–Смейла, бесконечные формулы
Authors	Кёпке П. 1 , Морозов А.С. 2,3
Affiliations	1 Rheinische Friedrich-Wilhelms-Universität Bonn 2 Институт математики им. С.Л. Соболева СО РАН 3 Новосибирский государственный университет