|
|
Публикации в базе данных Math-Net.Ru
-
Конструктивные модели регулярно бесконечной алгоритмической размерности
Алгебра и логика, 33:2 (1994), 135–146
-
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Алгебра и логика, 33:1 (1994), 37–75
-
Конструктивные модели бесконечной алгоритмической размерности
Докл. РАН, 335:2 (1994), 135–137
-
Эффективные операции выбора на конструктивных и позитивных моделях
Алгебра и логика, 32:1 (1993), 45–53
-
Проблема эффективного выбора конструктивизаций
Тр. Ин-та математики СО РАН, 25 (1993), 35–40
-
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Алгебра и логика, 31:2 (1992), 101–118
-
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Алгебра и логика, 31:1 (1992), 3–20
-
Об алгоритмической размерности моделей
Докл. АН СССР, 305:1 (1989), 21–24
-
Неравномерная автоустойчивость моделей
Алгебра и логика, 26:6 (1987), 684–714
-
Алгоритмические свойства ветвящихся моделей
Алгебра и логика, 25:4 (1986), 369–383
© , 2024