Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-41415
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-93-18_Steinbach_On-the-Complexity-of-Simplification-Orderings.pdf | 1,18 MB | Adobe 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.