Search

• < Previous
• 1
• Next >

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories are shown to be decidable for term rewrite systems (TRS) whose right-hand side terms are restricted to be shallow&nbsp;[&hellip;]