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