Eliminating unbounded search in classical branches of computability theory - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Eliminating unbounded search in classical branches of computability theory Доклады на конференциях

Язык

Английский

Тип доклада

Пленарный

Конференция

Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
14-18 нояб. 2022 , Новосибирск

Авторы

Баженов Николай Алексеевич ¹ , Калимуллин И.Ш. ² , Мельников А.Г. ³

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Казанский (Приволжский) федеральный университет
3	Victoria University of Wellington

Bazhenov N.A. , Калимуллин И.Ш. , Мельников А.Г.
Eliminating unbounded search in classical branches of computability theory
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 Nov 2022