10 citations · 34 across the 21 of their papers we have counts for
1 paper · 1 filter
Jan Philipp Wächter, Armin Weiß
We construct an automaton group with a PSPACE-complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namel…