The following pages link to Solving word equations (Q5899816):
Displaying 9 items.
- Word unification and transformation of generalized equations (Q1319389) (← links)
- Solving word equations modulo partial commutations (Q1960424) (← links)
- One-rule semi-Thue systems with loops of length one, two or three (Q3126011) (← links)
- Word Equations with One Unknown (Q3637238) (← links)
- On word equations and Makanin's algorithm (Q3974850) (← links)
- Complexity of Makanin's algorithm (Q4371685) (← links)
- Advances in Artificial Intelligence – SBIA 2004 (Q5311246) (← links)
- Automata, Languages and Programming (Q5466480) (← links)
- Implementation of Makanin's Algorithm (Q6114506) (← links)