Path orderings, quasi-orderings and termination of term rewriting systems

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/83697

Título:	Path orderings, quasi-orderings and termination of term rewriting systems
Autor/a:	Borralleras Andreu, Cristina; Rubio Gimeno, Alberto
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Programació -Recursive path ordering -Semantic path ordering -Quasi orderings
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Borralleras Andreu, Cristina; Larraz Hurtado, Daniel; Rodríguez Carbonell, Enric; Oliveras Llunell, Albert; Rubio Gimeno, Alberto

Borralleras Andreu, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert

Jouannaud, Jean Pierre; Rubio Gimeno, Alberto

Fernández, Maribel; Rubio Gimeno, Alberto

Rubio Gimeno, Alberto

Coordinación

Patrocinio