Algebra and Logic
Proceedings
Kahle,R;Heister,PS;Stärk,RF
PTCS
Lecture Notes in Computer Science
2001
2183
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
NOVA Math > NOVA Math > NOVA Math Publications > Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings