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