Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems (1993)

Cached

Download Links

by Bernhard Gramlich
Citations:29 - 6 self