Proof Theory in Computer Science (Dagstuhl Seminar 01411)

Reinhard Kahle, Peter Schröder-Heister, Robert F. Stärk
2002
doi:10.4230/dagsemrep.322 fatcat:uilk6uqqbjdqth5hbtjfcccogq