Pierre Guillon, Gaétan Richard. Revisiting the Rice Theorem of Cellular Automata.
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.441-452.
⟨inria-00455736⟩