Publisher
Springer Nature Singapore
Reference18 articles.
1. Aanderaa, S., Lewis, H.: Linear sampling and the $$\forall \exists \forall $$ case of the decision problem. J. Symb. Logic 39(3), 519–548 (1974)
2. Amoroso, S., Patt, Y.N.: Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures. J. Comput. Syst. Sci. 6(5), 448–464 (1972)
3. Béaur, P., Kari, J.: Decidability in group shifts and group cellular automata. In: Esparza, J., Král’, D. (eds.) 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Volume 170 of LIPIcs, pp. 12:1–12:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
4. Blanchard, F., Tisseur, P.: Some properties of cellular automata with equicontinuity points. Annales de l’I.H.P. Probabilité et statistiques 36(5), 569–582 (2000)
5. Boyle, M., Kitchens, B.: Periodic points for onto cellular automata. Indagationes Mathematicae 10, 483–493 (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Elementary Second Order Cellular Automata;Communications in Computer and Information Science;2024