TY - RPRT TI - Decidability problems in automaton semigroups AU - Laurent Bartholdi PY - 2017 UR - https://arxiv.org/abs/1705.04598 ID - 1705.04598 ER -