The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable

Maurice Margenstern. The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable. In Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy, editors, Complexity of Simple Programs 2008, CSP 2008, Cork, Ireland, December 6-7, 2008. Proceedings. pages 201-214, Cork University Press, 2008.

Abstract

Abstract is missing.