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