Eingang zum Volltext in SciDok
Lizenz
Report (Bericht) zugänglich unter
The first-order theory of lexicographic path orderings is undecidable
URN: urn:nbn:de:bsz:291-scidok-36379
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/3637/
Quelle:
(1993) Kaiserslautern ; Saarbrücken : DFKI, 1993
pdf-Format:
Dokument 1.pdf (10.250 KB)
SWD-Schlagwörter:
Künstliche Intelligenz
Institut:
DDC-Sachgruppe:
Informatik
Dokumentart:
Report (Bericht)
Schriftenreihe:
Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Bandnummer:
93-42
Sprache:
Englisch
Erstellungsjahr:
1993
Publikationsdatum:
24.06.2011
Kurzfassung auf Englisch:
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.
Lizenz:
Standard-Veröffentlichungsvertrag