Browsing by Author "Hagenah, Christian"
Now showing items 1-1 of 1
-
Diekert, Volkert; Gutiérrez Gallardo, Claudio; Hagenah, Christian (ACADEMIC PRESS INC ELSEVIER SCIENCE, 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 was shown that ...