Nächste Seite:
Motivation
Aufwärts:
Symbolisches Rechnen Vorlesung Wintersemester
Vorherige Seite:
Aufgaben
Termination
Unterabschnitte
Motivation
Automatische Terminations-Analyse
Historische Quellen zur Termination
Beweisverfahren für Termination
Wohlfundierte monotone Algebren
Wohlfundierte monotone Algebren (II)
Beispiel wfmA
Systematik wfmA
Matrix-Interpretationen (für SRS) als wfmA
Matrix-Interpretationen (für TRS) als wfmA
Synthese von Gewichtsfunktionen (für SRS)
Modulare SN-Beweise, relative Termination
Aufgaben
