1 citations · 1 across the 1 of their papers we have counts for
1 paper
Luis Barguno, Guillem Godoy, Eduard Huntingford +1
We present decidability results for termination of classes of term rewriting systems modulo permutative theories. Termination and innermost termination modulo permutative theories…