AG Grundlagen der Informatik (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau) - Forschungsprojekte

Konvergente Reduktionssysteme für Monoide und Gruppen
Madlener, Klaus; (1998 - 2000)