Higher-Order Rewriting (1999)

Cached

Download Links

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