On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems (1996)

Cached

Download Links

by Bernhard Gramlich
Venue:Theoretical Computer Science
Citations:11 - 0 self