Induction and restriction of cellular automata (Q3625414)

From MaRDI portal