3 Einträge gefunden

1. Towards an evolutionary formal software-development using CASL

   1. Autexier, Serge
   2. Hutter, Dieter
   3. Mantel, Heiko
   4. Schairer, Axel

   1999 - TUHH Open Research
2. System description: Inka 5.0 - a logic voyager

   1. Autexier, Serge
   2. Hutter, Dieter
   3. Mantel, Heiko
   4. Schairer, Axel

   1999 - TUHH Open Research
3. linTAP: a tableau prover for linear logic

   1. Mantel, Heiko
   2. Otten, Jens

   1999 - TUHH Open Research