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