Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.

Hans-Josef Jeanrond

Browse the full CADE paper archive.