Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-24881
Titel: | The first-order theory of lexicographic path orderings is undecidable |
VerfasserIn: | Comon, Hubert Treinen, Ralf |
Sprache: | Englisch |
Erscheinungsjahr: | 1993 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1993 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | We show, under some assumption on the signature, that the *This formula not viewable on a Text-Browser* fragment of the theory of any lexicographic path ordering is undecidable. This applies to partial and to total precedences. Our result implies in particular that the simplification rule of ordered completion is undecidable. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-36379 hdl:20.500.11880/24937 http://dx.doi.org/10.22028/D291-24881 |
Schriftenreihe: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
Band: | 93-42 |
Datum des Eintrags: | 24-Jun-2011 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
RR_93_42.pdf | 10,25 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.