Применение критерия Юкны для нижних оценок в системе доказательств CP | 22.05.20 А.Рязанов

Заседание семинара по теории сложности вычислений 22.05.2020 Докладчик: Артур Рязанов (ПОМИ РАН) Подробнее: https://logic.pdmi.ras.ru/seminars/complexity-seminar/2020-05-22