TY  - RPRT
TI  - The finiteness problem for automaton semigroups is undecidable
AU  - Pierre Gillibert
PY  - 2014
DO  - 10.1142/s0218196714500015
UR  - https://arxiv.org/abs/1304.2295
ID  - 1304.2295
ER  -