{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:32:25Z","timestamp":1742927545630,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789811905414"},{"type":"electronic","value":"9789811905421"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-981-19-0542-1_2","type":"book-chapter","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T05:02:47Z","timestamp":1651035767000},"page":"17-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Algorithms for Group Cellular Automata"],"prefix":"10.1007","author":[{"given":"Jarkko","family":"Kari","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,28]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"519","DOI":"10.2307\/2272894","volume":"39","author":"S Aanderaa","year":"1974","unstructured":"Aanderaa, S., Lewis, H.: Linear sampling and the $$\\forall \\exists \\forall $$ case of the decision problem. J. Symb. Logic 39(3), 519\u2013548 (1974)","journal-title":"J. Symb. Logic"},{"issue":"5","key":"2_CR2","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/S0022-0000(72)80013-8","volume":"6","author":"S Amoroso","year":"1972","unstructured":"Amoroso, S., Patt, Y.N.: Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures. J. Comput. Syst. Sci. 6(5), 448\u2013464 (1972)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR3","unstructured":"B\u00e9aur, P., Kari, J.: Decidability in group shifts and group cellular automata. In: Esparza, J., Kr\u00e1l\u2019, D. (eds.) 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Volume 170 of LIPIcs, pp. 12:1\u201312:13. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Blanchard, F., Tisseur, P.: Some properties of cellular automata with equicontinuity points. Annales de l\u2019I.H.P. Probabilit\u00e9 et statistiques 36(5), 569\u2013582 (2000)","DOI":"10.1016\/S0246-0203(00)00141-2"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Boyle, M., Kitchens, B.: Periodic points for onto cellular automata. Indagationes Mathematicae 10, 483\u2013493 (1999)","DOI":"10.1016\/S0019-3577(00)87901-X"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Mathematics. Springer, Berlin Heidelberg (2010)","DOI":"10.1007\/978-3-642-14034-1"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Dennunzio, A., Formenti, E., Grinberg, D., Margara, L.: Additive cellular automata over finite abelian groups: Topological and measure theoretic properties. In: Rossmanith, P., Heggernes, P., Katoen, J.-P. (eds.) 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019","DOI":"10.1016\/j.tcs.2020.06.021"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/S0304-3975(02)00492-9","volume":"299","author":"F Fiorenzi","year":"2003","unstructured":"Fiorenzi, F.: Cellular automata and strongly irreducible shifts of finite type. Theor. Comput. Sci. 299(1), 477\u2013493 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0022-0000(05)80025-X","volume":"48","author":"J Kari","year":"1994","unstructured":"Kari, J.: Reversibility and surjectivity problems of cellular automata. J. Comput. Syst. Sci. 48(1), 149\u2013182 (1994)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1137\/0221036","volume":"21","author":"J Kari","year":"1992","unstructured":"Kari, J.: The nilpotency problem of one-dimensional cellular automata. SIAM J. Comput. 21(3), 571\u2013586 (1992)","journal-title":"SIAM J. Comput."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Kari, J., Ollinger, N.: Periodicity and immortality in reversible computing. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) Mathematical Foundations of Computer Science 2008, MFCS 2008, volume 5162 of Lecture Notes in Computer Science, pp. 419\u2013430. Springer (2008)","DOI":"10.1007\/978-3-540-85238-4_34"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S0143385700005290","volume":"9","author":"B Kitchens","year":"1989","unstructured":"Kitchens, B., Schmidt, K.: Automorphisms of compact groups. Ergodic Theory Dyn. Syst. 9(4), 691\u2013735 (1989)","journal-title":"Ergodic Theory Dyn. Syst."},{"issue":"3","key":"2_CR13","first-page":"241","volume":"5","author":"V Lukkarila","year":"2010","unstructured":"Lukkarila, V.: Sensitivity and topological mixing are undecidable for reversible one-dimensional cellular automata. J. Cellular Automata 5(3), 241\u2013272 (2010)","journal-title":"J. Cellular Automata"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0304-3975(99)00031-6","volume":"221","author":"G Manzini","year":"1999","unstructured":"Manzini, G., Margara, L.: A complete and efficiently computable topological classification of d-dimensional linear cellular automata over $$Z_m$$. Theor. Comput. Sci. 221(1), 157\u2013177 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Margara, L.: On some topological properties of linear cellular automata. In: Kuty\u0142owski, M., Pacholski, L., Wierzbicki, T. (eds.) Mathematical Foundations of Computer Science 1999, MFCS 1999, volume 1672 of Lecture Notes in Computer Science, pp. 209\u2013219. Springer (1999)","DOI":"10.1007\/3-540-48340-3_19"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Sablik, M., Theyssier, G.: Topological dynamics of 2d cellular automata. In: Beckmann, A., Dimitracopoulos, C., L\u00f6we, B. (eds.) Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, volume 5028 of Lecture Notes in Computer Science, pp. 523\u2013532. Springer (2008)","DOI":"10.1007\/978-3-540-69407-6_56"},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0020-0190(93)90061-D","volume":"46","author":"T Sato","year":"1993","unstructured":"Sato, T.: Decidability for some problems of linear cellular automata over finite commutative rings. Inform. Process. Lett. 46(3), 151\u2013155 (1993)","journal-title":"Inform. Process. Lett."},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H Wang","year":"1961","unstructured":"Wang, H.: Proving theorems by pattern recognition\u2014II. Bell Syst. Tech. J. 40(1), 1\u201341 (1961)","journal-title":"Bell Syst. Tech. J."}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of First Asian Symposium on Cellular Automata Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-19-0542-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T05:03:48Z","timestamp":1651035828000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-19-0542-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9789811905414","9789811905421"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-19-0542-1_2","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"28 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ASCAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Asian Symposium on Cellular Automata Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 March 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ascat2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}