DMCA

Dependency Pairs for Equational Rewriting (0)

Cached

Download Links

by Jürgen Giesl , Deepak Kapur
Venue:Proc. of 12th Int. Conf. on Rewriting Techniques and Applications, RTA'01, LNCS 2051:93--108
Citations:14 - 3 self