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