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