The following pages link to On word equations in one variable (Q547296):
Displaying 8 items.
- One-variable word equations in linear time (Q261339) (← links)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations (Q2817399) (← links)
- What Is Essential Unification? (Q3305325) (← links)
- On the Complexity of Solving Restricted Word Equations (Q4683237) (← links)
- One-Variable Word Equations and Three-Variable Constant-Free Word Equations (Q4683239) (← links)
- An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences (Q5002823) (← links)
- An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences (Q5026390) (← links)