research
∙
02/28/2021
On Problems Dual to Unification: The String-Rewriting Case
In this paper, we investigate problems which are dual to the unification...
research
∙
05/06/2016