3 Einträge gefunden

1. A matrix characterization for MɛLL

   1. Mantel, Heiko
   2. Kreitz, Christoph

   1998 - TUHH Open Research
2. VSE: Controlling the complexity in formal software developments

   1. Hutter, Dieter
   2. Mantel, Heiko
   3. Rock, Georg
   4. Stephan, Werner
   5. Wolpers, Andreas
   6. Balser, Michael
   7. Reif, Wolfgang

   1998 - TUHH Open Research
3. Simultaneous quantifier elimination

   1. Autexier, Serge
   2. Mantel, Heiko
   3. Stephan, Werner

   1998 - TUHH Open Research