Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41432
Titel: Check your Ordering : Termination Proofs and Open Problems
VerfasserIn: Steinbach, Joachim
Kühler, Ulrich
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Termination is a decisive property of term rewriting systems that is often needed. Simplification orderings provide a mechanism for proving this property. The power of such an ordering depends on the number of examples (occurring in practice) to which it can successfully be applied. In addition to a brief introduction to the presented simplification orderings, this report contains a large collection of term rewriting systems all of which were tested for completion by our completion environment COMTES. In a lot of cases simplification orderings can be found that enable the generation of canonical systems. However, a lot of examples exist for which the problem of completion cannot be solved.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-414322
hdl:20.500.11880/37731
http://dx.doi.org/10.22028/D291-41432
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,25
Datum des Eintrags: 28-Mai-2024
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-90-25_Steinbach-Kühler_Check-your-Ordering-Termination-Proofs-and-Open-Problems.pdf2,72 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.