Julien Cervelle, Pierre Guillon. Towards a Rice Theorem on Traces of Cellular Automata.
32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. pp.310-319.
⟨hal-00620284⟩