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

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

Abstract

Abstract is missing.

Table of Contents