Diekert, Volkert;Gutiérrez, Claudio;Hagenah, Christian
(2005-11-01)
It is well-known that the existential theory of equations in free groups is decidable. This is a celebrated result of Makanin which was published 1982. Makanin did not discuss complexity issues, but later it wa....