Monadic Simultaneous Rigid E-Unification and Related Problems
- Yuri Gurevich ,
- Andrei Voronkov
Theoretical Computer Science |
We study the monadic case of a decision problem know as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem.