1 Einträge gefunden

1. Connection-based proof construction in linear logic

   1. Kreitz, Christoph
   2. Mantel, Heiko
   3. Ott, Jörg
   4. Schmitt, Stephan

   1997 - TUHH Open Research