Публикации в базе данных Math-Net.Ru
-
Разложимость и вычислимость
Алгебра и логика, 61:2 (2022), 220–229
-
О конечно базируемых обогащениях рекурсивно перечислимых полугрупп
Алгебра и логика, 51:5 (2012), 652–667
-
Сложность теорий вычислимых категоричных моделей
Алгебра и логика, 43:6 (2004), 650–665
-
Равномерность в теории вычислимых структур
Алгебра и логика, 42:5 (2003), 566–593
-
О спектре степеней разрешимых отношений
Докл. РАН, 352:3 (1997), 301–303
© , 2024