On the Modularity of Termination of Term Rewriting Systems (1993)

Cached

Download Links

by Enno Ohlebusch
Venue:Theoretical Computer Science
Citations:29 - 3 self