scientific article; zbMATH DE number 3355024
From MaRDI portal
Publication:5629627
Cited in
(8)- Parametrisation of solutions of parametric equation in free monoid
- A.D. Taimanov and model theory in Kazakhstan
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- Algorithme quadratique de calcul de la solution générale d'équations en mots à une variable
- Efficient solving of the word equations in one variable
- On equations in free monoids and semigroups with restrictions on solutions
- Program specialization as a tool for solving word equations
- Undecidable fragments of positive theories of free semigroups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5629627)
