- -

A Dependency Pair Framework for AvC-Termination

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

A Dependency Pair Framework for AvC-Termination

Mostrar el registro completo del ítem

Alarcón Jiménez, B.; Gutierrez Gil, R.; Lucas, S.; Meseguer, J. (2011). A Dependency Pair Framework for AvC-Termination. http://hdl.handle.net/10251/10797.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/10797

Ficheros en el ítem

Metadatos del ítem

Título: A Dependency Pair Framework for AvC-Termination
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ...[+]
Palabras clave: Dependency pairs , Equational rewriting , Term rewriting , Program termination
Derechos de uso: Reserva de todos los derechos
Serie: ELP-TR;AGLM11
Tipo: Informe

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem