Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41013
Titel: Canonical Conditional Rewrite Systems Containing Extra Variables
VerfasserIn: Avenhaus, Jürgen
Loría-Sáenz, Carlos
Sprache: Englisch
Erscheinungsjahr: 1993
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: We study deterministic conditional rewrite systems, i.e. conditional rewrite systems where the extra variables are not totally free but ’input bounded’. If such a system R is quasi-reductive then ->R is decidable and terminating. We develop a critical pair criterion to prove confluence if R is quasi-reductive and strongly deterministic. In this case we prove that R is logical, i.e. <-*->R = = R holds. We apply our results to prove Horn clause programs to be uniquely terminating.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-410135
hdl:20.500.11880/37709
http://dx.doi.org/10.22028/D291-41013
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 93,3
Datum des Eintrags: 24-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.