Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.

Rodrigo Torres-Avils, Nicolas Ollinger, Anah Gajardo

Browse the full RC paper archive.