75 citations · 218 across the 23 of their papers we have counts for
1 paper · 1 filter
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…