3 citations · 3 across the 1 of their papers we have counts for
1 paper
Paliath Narendran, Andrew Marshall, Bibhu Mahapatra
We prove that the Tiden and Arnborg algorithm for equational unification modulo one-sided distributivity is not polynomial time bounded as previously thought. A set of counterexamp…