The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable

From MaRDI portal
Publication:3397158