|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Характеризации ITBM-вычислимости. II
П. Кёпкеa, А. С. Морозовb a Rheinische Friedrich-Wilhelms-Univ. Bonn, Bonn, GERMANY
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
Аннотация:
Рассматриваются различные характеризации вычислимости на машинах Блюм–Шуба–Смейла (ITBM) через специфические функции на множествах и вычислимые бесконечные формулы.
Ключевые слова:
вычислимость на машинах Блюм–Шуба–Смейла, бесконечные формулы.
Поступило: 05.06.2020 Окончательный вариант: 31.05.2021
Образец цитирования:
П. Кёпке, А. С. Морозов, “Характеризации ITBM-вычислимости. II”, Алгебра и логика, 60:1 (2021), 39–56; Algebra and Logic, 60:1 (2021), 26–37
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2648 https://www.mathnet.ru/rus/al/v60/i1/p39
|
|