Rice’s Theorem for μ-Limit Sets of Cellular Automata (Q3012911)

From MaRDI portal