Преобразование MA протоколов в AM протоколы

Колмогоровский семинар по сложности вычислений и сложности определений. Кафедра математической логики и теории алгоритмов. Н.К. Верещагин.