On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems (1994)

Cached

Download Links

by Bernhard Gramlich
Venue:4 th ALP 1994, LNCS 850
Citations:6 - 0 self