Searching for "On Word Equations and Makanin's Algorithm." – sorted by Relevance.
-
Two-Variable Word Equations
- equations is Makanin's algorithm, cf.[Ma], which decides whether or not a word equation has a solution
- Cited by 3 (1 self) – Add To MetaCart

