Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41415
Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-93-18_Steinbach_On-the-Complexity-of-Simplification-Orderings.pdf1,18 MBAdobe PDFÖffnen/Anzeigen
Titel: On the Complexity of Simplification Orderings
VerfasserIn: Steinbach, Joachim
Sprache: Englisch
Erscheinungsjahr: 1993
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Various methods for proving the termination of term rewriting systems have been suggested. Most of them are based on the notion of simplification ordering. In this paper, the theoretical time complexities (of the worst cases) of a collection of well-known simplification orderings will be presented.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-414154
hdl:20.500.11880/37719
http://dx.doi.org/10.22028/D291-41415
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 93,18
Datum des Eintrags: 27-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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.