mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting (2004)

Cached

Download Links

by Salvador Lucas
Venue:Proc. of 15h International Conference on Rewriting Techniques and Applications, RTA’04, LNCS 3091:200-209
Citations:21 - 20 self