The following pages link to (Q5629627):
Displaying 6 items.
- Parametrisation of solutions of parametric equation in free monoid (Q1575562) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable (Q4858844) (← links)
- Efficient solving of the word equations in one variable (Q5096891) (← links)
- Program specialization as a tool for solving word equations (Q6646292) (← links)
