The existential theory of equations with rational constraints in free groups is PSPACE-complete (0)

by Volker Diekert, Claudio Gutierrez, Christian Hagenah
Venue:Inform. and Comput