Electronic Notes in Theoretical Computer Science, Volume 17

Volume 17, 1998

Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference)
Lindau, Germany, 5 July 1998
maintained by Schloss Dagstuhl LZI at University of Trier