Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems (1993)

Cached

Download Links

by Bernhard Gramlich
Venue:In Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems
Citations:13 - 4 self