Сложность вентильных схем, получаемых с помощью градиентного алгоритма
Сложность и асимптотически оптимальные алгоритмы моделирования абсолютно непрерывных распределений
Сложность разрешения теории первого порядка вещественно замкнутых полей
Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений
Сложность распознавания симметрии на многоленточных машинах Тьюринга
Сложность решения систем линейных уравнений в кольцах дифференциальных операторов
Строение решеток конгруэнций конечных полурешеток
Структурные расписания в задачах теории расписаний
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
Уровневые логики
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Экспоненциальное влияние константы ноль на сложность вычисления универсальных полиномов