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