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