Path orderings, quasi-orderings and termination of term rewriting systems
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/83697
Tipus de documentReport de recerca
Data publicació1997-10
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we present some original variations of the recursive
path ordering. Additionally we define a restricted semantic path
ordering which, in general, does not include the subterm relation,
but is shown to be monotonic. By combining both kind of
orderings we can prove (automatically) the termination of several
(non-simply terminating) examples.
CitacióBorralleras, C., Rubio, A. "Path orderings, quasi-orderings and termination of term rewriting systems". 1997.
Forma partLSI-97-42-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R97-42.ps | 244,2Kb | Postscript | Visualitza/Obre |