Constrained narrowing for conditional equational theories modulo axioms

Andrew Cholewa, Santiago Escobar, José Meseguer. Constrained narrowing for conditional equational theories modulo axioms. Science of Computer Programming, 112:24-57, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.