Towards a Rice Theorem on Traces of Cellular Automata.

Julien Cervelle, Pierre Guillon

Browse the full MFCS paper archive.