%0 Journal Article %1 wachter2022automaton %A Wächter, Jan Philipp %A Weiß, Armin %D 2022 %I Springer %J Theory of computing systems %K %R 10.1007/s00224-021-10064-7 %T An Automaton Group with PSPACE-Complete Word Problem

@article{wachter2022automaton, added-at = {2022-11-29T16:47:25.000+0000}, affiliation = {Wachter, JP (Corresponding Author), Univ Stuttgart, Inst Formale Methoden Informat FMI, Univ Str 38, D-70569 Stuttgart, Germany. Waechter, Jan Philipp; Weiss, Armin, Univ Stuttgart, Inst Formale Methoden Informat FMI, Univ Str 38, D-70569 Stuttgart, Germany.}, author = {Wächter, Jan Philipp and Weiß, Armin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/206b14c33f72bc2d10db218c03d4427c7/unibiblio}, doi = {10.1007/s00224-021-10064-7}, interhash = {401551057a3fc6a32449d93d36d37ef9}, intrahash = {06b14c33f72bc2d10db218c03d4427c7}, issn = {{1432-4350} and {1433-0490}}, journal = {Theory of computing systems}, keywords = {}, language = {eng}, publisher = {Springer}, pubstate = {prepublished}, research-areas = {Computer Science; Mathematics}, timestamp = {2022-11-29T15:47:25.000+0000}, title = {An Automaton Group with PSPACE-Complete Word Problem}, unique-id = {WOS:000784610300002}, year = 2022 }