Termination und Normalisierung

Für eine zweistellige Relation ρ auf M

(zum Beispiel eine Ersetzungsrelation R auf Term(Σ) )

Beachte: es gibt ρ , die schwach, aber nicht stark normalisieren.



Johannes Waldmann 2015-12-11