StringologyTimes
Data Structures and Algorithms: 2001/3/22-28
1:
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete