TY - RPRT TI - On the surjunctivity and the Garden of Eden theorem for non-uniform cellular automata AU - Katariina Paturi AU - Jarkko Kari PY - 2025 UR - https://arxiv.org/abs/2507.06987 ID - 2507.06987 ER -