Семинар 25 мая 2001 года

Пятница, 25 мая, комната 106. Начало в 17:00.

Докладчик: Б. Ю. Конев.

Доклад по статье В.Лифшица
WHAT IS THE INVERSE METHOD?
Предлагается одна переформулировка обратного метода Маслова в терминах дизъюнктов и "супердизъюнктов", а также отношение этого метода к методу резолюций.