- -

Constrained narrowing for conditional equational theories modulo axioms

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

Compartir/Enviar a

Citas

Estadísticas

Constrained narrowing for conditional equational theories modulo axioms

Mostrar el registro completo del ítem

Cholewa, A.; Escobar Román, S.; Meseguer, J. (2015). Constrained narrowing for conditional equational theories modulo axioms. Science of Computer Programming. 112:24-57. doi:10.1016/j.scico.2015.06.001

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

Ficheros en el ítem

Metadatos del ítem

Título: Constrained narrowing for conditional equational theories modulo axioms
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:
For an unconditional equational theory (Sigma, E) whose oriented equations (E) over arrow are confluent and terminating, narrowing provides an E-unification algorithm. This has been generalized by various authors in two ...[+]
Palabras clave: Narrowing modulo , Conditional narrowing , Constrained variants , Constrained unification , Layered narrowing
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2015.06.001
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2015.06.001
Agradecimientos:
We thank the anonymous referees for their constructive criticism and their very detailed and helpful suggestions for improving an earlier version of this work. We also thank Luis Aguirre for kindly giving us additional ...[+]
Tipo: Artículo

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

Mostrar el registro completo del ítem