Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, T. 512, № 1, стр. 102-102

ПОПРАВКА К СТАТЬЕ “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ ТЕОРИЙ БИНАРНОГО ПРЕДИКАТА В ЯЗЫКАХ С МАЛЫМ ЧИСЛОМ ПЕРЕМЕННЫХ”, 2022, том 507, с. 61–65

М. Н. Рыбаков ^1, *

¹ Институт проблем передачи информации им. А.А. Харкевича Российской академии наук
Москва, Россия

^* E-mail: m_rybakov@mail.ru

Поступила в редакцию 13.06.2023
После доработки 13.06.2023
Принята к публикации 13.06.2023

Полные тексты статей выпуска доступны в ознакомительном режиме только авторизованным пользователям.

• Аннотация
• Полный текст
• Список литературы
• Дополнительные материалы

Инструменты

Доклады Российской академии наук. Математика, информатика, процессы управления