Revisiting the Rice Theorem of Cellular Automata.

Pierre Guillon, Gatan Richard

Browse the full STACS paper archive.