Skip to content

LAA

Seminar

A minimal quantified proof system for polytime reasoning

Perron, S (Toronto)
Tuesday 11 April 2006, 12:00-12:30

Seminar Room 1, Newton Institute

Back to top ∧