A Fully syntactic AC-RPO
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/91121
Tipus de documentReport de recerca
Data publicació1998-02-01
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
We present the first fully syntactic (i.e., non-interpretation-based)
AC-compatible recursive path ordering (RPO). It is very simple, and
hence easy to implement, and its behaviour is intuitive as in the
standard RPO. The ordering is AC-total, and defined uniformly for
both ground and non-ground terms, as well as for partial precedences.
More importantly, it is the first one that can deal incrementally with
partial precedences, an aspect that is essential, together with its
intuitive behaviour, for interactive applications like Knuth-Bendix
completion.
CitacióRubio, A. "A Fully syntactic AC-RPO". 1998
Forma partLSI-98-64-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R98-64.ps | 254,3Kb | Postscript | Visualitza/Obre |