Login / Signup

On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

Paliath NarendranAndrew M. MarshallBibhu Mahapatra
Published in: UNIF (2010)
Keyphrases