Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40150
Titel: Comparison of Simplification Orderings
VerfasserIn: Steinbach, Joachim
Sprache: Englisch
Erscheinungsjahr: 1988
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: Termination
Simplification orderings
Recursive path ordering
Recursive decomposition ordering
Path of subterms ordering
Knuth-Bendix ordering
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Termination is an important property of term rewriting systems. Simplification orderings are often used methods which guarantee termination. We describe the basic ideas of comparing terms and present the formal definitions and some examples of the most popular simplification orderings. A new definition of one of them is given which is simpler than the original and therefore better to handle. Furthermore, we complete the comparison found in the literature, i. e. we mark off the power (the sets of comparable terms) of the orderings.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401508
hdl:20.500.11880/36227
http://dx.doi.org/10.22028/D291-40150
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 88,2
Datum des Eintrags: 11-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-88-02_Steinbach_Comparison-of-Simplification-Orderings.pdf1,6 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.