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