1 paper · 1 filter
Volker Diekert, Claudio Gutierrez, Christian Hagenah
It is known that the existential theory of equations in free groups is decidable. This is a famous result of Makanin. On the other hand it has been shown that the scheme of his alg…