Higher-Order Rewriting (1999)

Cached

Download Links

by Femke Van Raamsdonk
Venue:12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051
Citations:28 - 1 self