12 citations · 64 across the 32 of their papers we have counts for
1 paper · 2 filters
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…