Неравномерная автоустойчивость моделей
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Эффективные операции выбора на конструктивных и позитивных моделях
Алгоритмические свойства ветвящихся моделей.
Конструктивные модели регулярно бесконечной алгоритмической размерности
Page 1