Termination of innermost context-sensitive rewriting using dependency pairs

Cached

Download Links

by Beatriz Alarcón , Salvador Lucas
Venue:In Proceedings of the 6th International Symposium on Frontiers of Combining Systems. lnai
Citations:5 - 2 self