How to Transform Canonical Decreasing CTRSs into Equivalent Canonical TRSs (1994)

Cached

Download Links

by Claus Hintermeier
Venue:In Proceedings of the 4th International Workshop on Conditional Term Rewriting Systems
Citations:9 - 0 self