The following pages link to Solving word equations (Q5916475):
Displayed 6 items.
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Word unification and transformation of generalized equations (Q1319389) (← links)
- Unification in partially commutative semigroups (Q1337561) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)
- Implementation of Makanin's Algorithm (Q6114506) (← links)