Polynomials for Proving Termination of Context-Sensitive Rewriting (2004)

Cached

Download Links

by Salvador Lucas
Venue:In Proc. of FOSSACS’04, LNCS 2987:318-332
Citations:23 - 15 self