LATPub85: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 19: | Zeile 19: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=Termersetzungssysteme sind ein wichtiges Hilfmittel zur automatisierten | |Abstract=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. | ||
Behandlung von Gleichheitsaxiomen, da sie das Rechnen in gleichungsdefinierten | 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. | ||
Algebren ermöglichen. | |||
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. | |||
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. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 51: | Zeile 39: | ||
year = {1995}, | year = {1995}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 16:34 Uhr
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
Termersetzungssysteme, Skript zur Vorlesung
Volume 12 of {A}achener {B}eitr{\"a}ge zur {I}nformatik. Verlag der Augustinus Buchhandlung, 1995
- 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},
}
