The following pages link to Solving word equations (Q5916475):
Displaying 5 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)
