An Automaton Group with PSPACE-Complete Word Problem.

Jan Philipp Wchter, Armin Wei

Browse the full STACS paper archive.