Laboratory of Mathematical Logic

Пятница, 17 февраля, комната 106. Начало в 17:30.

Докладчик: А. Кожевников.

Тема: Нижние экспоненциальные оценки на размер статических полуалгебраических доказательств Ловаса-Шрайвера для цейтинских формул.