Residuals in higher-order rewriting (2003)

Cached

Download Links

by H. J. Sander Bruggink
Venue:Proceedings of Rewriting Techniques and Applications (RTA’03
Citations:2 - 0 self