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

Cached

Download Links

by Bernhard Gramlich
Citations:27 - 5 self