Skip to content

LAA

Seminar

Complexity gaps for resolution-based proof systems

Dantchev, S (Durham)
Wednesday 26 April 2006, 11:00-12:00

Seminar Room 1, Newton Institute

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧