TY  - RPRT
TI  - On Decidability Properties of One-Dimensional Cellular Automata
AU  - Olivier Finkel
PY  - 2009
UR  - https://arxiv.org/abs/0903.4615
ID  - 0903.4615
ER  -