On Termination of One Rule Rewrite Systems (1994)

Cached

Download Links

by Pierre Lescanne
Venue:Theoretical Computer Science
Citations:4 - 0 self