The following pages link to (Q5028423):
Displaying 4 items.
- Word equations in the context of string solving (Q2163975) (← links)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- (Q5092406) (← links)
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility (Q6109598) (← links)