Алгоритмическая природа инвариантных свойств грамматик непосредственно составляющих
Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
Грамматики с линейной памятью
К вопросу об автоматной сложности языков и сложности распознавания по Лавленду
О выразимости в ограниченной арифметике второго порядка
О гипотезе В.А. Успенского
О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.
О разрешимости классов иерархий регулярных апериодических языков.
О распознавании замещаемости в рекурсивных языках
О сложности вывода в грамматиках непосредственно составляющих
О структуре конституант -множеств
О существовании нерекурсивных базисов конечных автоматов
Отношение поглощения на регулярных множествах
Пресбургеровость предикатов, регулярных в двух системах счисления
Распознавание самопересечения плоской траектории алгорифмом Колмогорова
Степени свтоматных преобразований
Утончения полиномиальной иерархии.