1. Карлов Б.Н. О неразрешимости теорий подмножеств некоторых унаров // Доклады Российской академии наук. Математика, информатика, процессы управления. 2024. Т.516. №1. С.15-20.
Подробно
2. Дудаков С.М., Карлов Б.Н. О сложности проблемы тотальной выводимости в неукорачивающих и контекстно-свободных грамматиках // Доклады Российской академии наук. Математика, информатика, процессы управления. 2025. Т.524. №1. С.11-18.
Подробно
3. Жуковский М. Е., Малышкин Ю.А. Сходимость вероятностей истинности предложений первого порядка для рекурсивных моделей случайного графа // Доклады Российской академии наук. Математика, информатика, процессы управления. 2020. Т.494. №1. С.35-37.
Подробно