Ebook: Automatisierung von Terminierungsbeweisen

---

Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-12
Syntaktische und semantische Begriffe....Pages 13-17
Spezifikationen....Pages 18-30
Beweisen durch Absch?tzen mit dem E-Kalk?l....Pages 31-52
Erzeugung von Terminierungshypothesen....Pages 53-76
Erkennen argumentbeschr?nkter Operationen....Pages 77-98
Optimierung von Differenzalgorithmen....Pages 99-113
Algorithmenmodifikation....Pages 114-123
Implementierung....Pages 124-126
Back Matter....Pages 127-254

---

Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-12
Syntaktische und semantische Begriffe....Pages 13-17
Spezifikationen....Pages 18-30
Beweisen durch Absch?tzen mit dem E-Kalk?l....Pages 31-52
Erzeugung von Terminierungshypothesen....Pages 53-76
Erkennen argumentbeschr?nkter Operationen....Pages 77-98
Optimierung von Differenzalgorithmen....Pages 99-113
Algorithmenmodifikation....Pages 114-123
Implementierung....Pages 124-126
Back Matter....Pages 127-254
....