Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk, editors, Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings. Volume 2183 of Lecture Notes in Computer Science, Springer, 2001.

Conference: Dagstuhl2001

This author has not been identified. Look up 'Reinhard Kahle' in GoogleThis author has not been identified. Look up 'Peter Schroeder-Heister' in GoogleThis author has not been identified. Look up 'Robert F. Stärk' in Google

runs on WebDSL