PTCS

International Seminar on Proof Theory in Computer Science

Search within this conference

Search

1. 2001

   PTCS 2001

   • 7-12 October
   • Dagstuhl Castle, Germany

   • Proof Theory in Computer Science

     13 Papers

     1 Volume