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

Rodrigo Torres, Nicolas Ollinger, Anahí Gajardo. Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine. In Robert Glück, Tetsuo Yokoyama, editors, Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Volume 7581 of Lecture Notes in Computer Science, pages 44-56, Springer, 2012. [doi]

Authors

Rodrigo Torres

This author has not been identified. Look up 'Rodrigo Torres' in Google

Nicolas Ollinger

This author has not been identified. Look up 'Nicolas Ollinger' in Google

Anahí Gajardo

This author has not been identified. Look up 'Anahí Gajardo' in Google