Termination of (Canonical) Context-Sensitive Rewriting (2002)

Cached

Download Links

by Salvador Lucas
Venue:Proc. of 13th International Conference on Rewriting Techniques and Applications, RTA'02, LNCS
Citations:10 - 6 self