On Problems Dual to Unification: The String-Rewriting Case

Zümrüt Akçam, Kimberly A. Cornell, Daniel S. Hono +2

In this paper, we investigate problems which are dual to the unification problem, namely the Fixed Point (FP) problem, Common Term (CT) problem and the Common Equation (CE) problem…