Nächste Seite: Motivation, Plan Aufwärts: Symbolisches Rechnen Vorlesung Wintersemester Vorherige Seite: Hausaufgaben

Beziehungen zw. ARS-Eigenschaften

Unterabschnitte

Motivation, Plan
Normalformen
CR und Konfluenz
Konfluenz und Normalformen
Lokale Konfluenz und Konfluenz
Konfluenz ohne Termination
Hausaufgaben