Characterizations of ITBM-Computability. II | Sciact - Система учета научной деятельности ИМ СО РАН

Characterizations of ITBM-Computability. II Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2021, Том: 60, Номер: 1, Страницы: 26-37 Страниц : 12 DOI: 10.1007/s10469-021-09625-z

Ключевые слова

computability by means of Blum-Shub-Smale machines, infinitary formulas

Авторы

Koepke P. ¹ , Morozov A.S. ²

Организации

1	Rheinische Friedrich-Wilhelms-Universität Bonn
2	Sobolev Institute of Mathematics

Koepke P. , Morozov A.S.
Characterizations of ITBM-Computability. II
Algebra and Logic. 2021. V.60. N1. P.26-37. DOI: 10.1007/s10469-021-09625-z WOS Scopus OpenAlex

Кёпке П. , Морозов А.С.
Характеризация ITBM-вычислимости II
Алгебра и логика. 2021. Т.60. №1. С.39-56. DOI: 10.33048/alglog.2020.60.103 РИНЦ MathNet

Web of science:	WOS:000661361000002
Scopus:	2-s2.0-85107984482
OpenAlex:	W4254015225

БД	Цитирований
Web of science	2
Scopus	1
OpenAlex	1