TY - RPRT TI - A decidability result for the halting problem of cellular automata in the pentagrid AU - Maurice Margenstern PY - 2018 UR - https://arxiv.org/abs/1812.03882 ID - 1812.03882 ER -