Roger Antonsen

Proof Search and Free Variable Sequent Calculi

Talk
September 26, 2003
Seminar in Computing, Department of Informatics, University of Oslo