Klaus Drosten

• Termersetzungssysteme
• Termersetzungssysteme
• Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen