A NOTE ON THE EXISTENTIAL THEORY OF EQUATIONS IN PLAIN GROUPS

VOLKER DIEKERT, MARKUS LOHREY
2002 International journal of algebra and computation  
Based on a PSPACE-completeness result for free monoids with involution [4] it is shown that the existential theory of equations with rational constraints in plain groups is PSPACE-complete. As a corollary this settles a question from [14] .
doi:10.1142/s0218196702000870 fatcat:7hkbao6ievaobcmyuedcexj7ii