Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems.

Alberto Pettorossi

Browse the full ICALP paper archive.