3 Einträge gefunden

1. A matrix characterization for multiplicative exponential linear logic

   1. Kreitz, Christoph
   2. Mantel, Heiko

   2004 - TUHH Open Research
2. A matrix characterization for MɛLL

   1. Mantel, Heiko
   2. Kreitz, Christoph

   1998 - TUHH Open Research
3. Connection-based proof construction in linear logic

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

   1997 - TUHH Open Research