Please use this identifier to cite or link to this item: doi:10.22028/D291-39848
Title: Comparing on Strings : Iterated Syllable Ordering & Recursive Path Ordering
Author(s): Steinbach, Joachim
Language: English
Year of Publication: 1989
Place of publication: Kaiserslautern
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: The recursive path ordering introduced by Dershowitz can prove the termination of term rewriting systems. On string rewriting systems, the iterated syllable (or collecting) ordering is a total ordering. We will prove that the recursive path ordering on monadic terms is equivalent to the iterated syllable ordering on the reverse words.
Link to this record: urn:nbn:de:bsz:291--ds-398489
Series name: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Series volume: 89,15
Date of registration: 15-Jun-2023
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.