Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations (1993)

Cached

Download Links

by Jordi Levy , Jaume Agusti
Venue:Rewriting Techniques and Applications, LNCS 690
Citations:22 - 6 self