ПОПРАВКИ

Поправка к статье “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных” (2022, том 507, с. 61–65)

М. Н. Рыбаков

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

УДК: 510.635, 510.665

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

DOI: 10.31857/S2686954323350011