Termersetzungssysteme, Skript zur Vorlesung

Franz BaaderFranz Baader, Can Adam AlbayrakCan Adam Albayrak

Franz Baader, Can Adam Albayrak
Termersetzungssysteme, Skript zur Vorlesung
Volume 12 of {A}achener {B}eitr{\"a}ge zur {I}nformatik. Verlag der Augustinus Buchhandlung, 1995

Details
Bibtex

KurzfassungAbstract
Termersetzungssysteme sind ein wichtiges Hilfmittel zur automatisierten Behandlung von Gleichheitsaxiomen, da sie das Rechnen in gleichungsdefinierten Algebren ermöglichen. Sie finden deshalb zum Beispiel im Bereich der Algebraischen Spezifikation, der funktionalen Programmierung und des automatischen Theorembeweisens Verwendung. Das Skriptum stellt eine ausführliche Einführung in die im Bereich Termersetzungssysteme wichtigen Begriffe, Methoden und Resultate dar. Es werden Eigenschaften abstrakter Redunktionssysteme, Wortersetzungssysteme (Semi-Thue-Systeme), Grundbegriffe aus der universellen Algebra, Konfluenz und Terminierung von Termersetzungssystemen, Unifikation, Knuth-Bendix-Vervollständigung, Vervollständigung ohne Abbruch und Termersetzung modulo Gleichungstheorien behandelt.
Bemerkung: Note: ISBN 3-86073-148-3
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@book{ BaaderAlbayrak95,
  address = {Pontstr.~96, D-52062 Aachen},
  author = {Franz {Baader} and Can Adam {Albayrak}},
  note = {ISBN 3-86073-148-3},
  publisher = {Verlag der Augustinus Buchhandlung},
  series = {{A}achener {B}eitr{\"a}ge zur {I}nformatik},
  title = {Termersetzungssysteme, Skript zur Vorlesung},
  volume = {12},
  year = {1995},
}