- -

Constrained narrowing for conditional equational theories modulo axioms

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Constrained narrowing for conditional equational theories modulo axioms

Show full item record

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

Files in this item

Item Metadata

Title: Constrained narrowing for conditional equational theories modulo axioms
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
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 ...[+]
Subjects: Narrowing modulo , Conditional narrowing , Constrained variants , Constrained unification , Layered narrowing
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2015.06.001
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2015.06.001
Thanks:
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 ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record