{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T20:22:48Z","timestamp":1792009368045,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540265467","type":"print"},{"value":"9783540316824","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11505877_5","type":"book-chapter","created":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T13:40:25Z","timestamp":1285508425000},"page":"57-68","source":"Crossref","is-referenced-by-count":20,"title":["Reversible Cellular Automata"],"prefix":"10.1007","author":[{"given":"Jarkko","family":"Kari","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","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.: Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures. Journal of Computer and System Sciences\u00a06, 448\u2013464 (1972)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"6","author":"C. Bennett","year":"1973","unstructured":"Bennett, C.: Logical reversibility of computation. IBM Journal of Research and Development\u00a06, 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/11523468_34","volume-title":"Automata, Languages and Programming","author":"E. Czeizler","year":"2005","unstructured":"Czeizler, E., Kari, J.: A tight linear bound on the neighborhood of inverse cellular automata. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 410\u2013420. Springer, Heidelberg (2005)"},{"key":"5_CR4","volume-title":"Cellular Automata and Complex Systems","author":"B. Durand","year":"1998","unstructured":"Durand, B.: Global properties of 2D cellular automata. In: Goles, E., Martinez, S. (eds.) Cellular Automata and Complex Systems. Kluwer, Dordrecht (1998)"},{"key":"5_CR5","first-page":"145","volume-title":"Discrete Models, Combinatorics, Computation and Geometry","author":"J. Durand-Lose","year":"2001","unstructured":"Durand-Lose, J.: Representing reversible cellular automata with reversible block cellular automata. In: Cori, R., Mazoyer, J., Morvan, M., Mosery, R. (eds.) Discrete Models, Combinatorics, Computation and Geometry, pp. 145\u2013154. Springer, Heidelberg (2001)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/BF01691062","volume":"3","author":"G. Hedlund","year":"1969","unstructured":"Hedlund, G.: Endomorphisms and automorphisms of shift dynamical systems. Math. Systems Theory\u00a03, 320\u2013375 (1969)","journal-title":"Math. Systems Theory"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0022-0000(83)90033-8","volume":"27","author":"M. Ito","year":"1983","unstructured":"Ito, M., Osato, N., Nasu, M.: Linear Cellular Automata over Zm. Journal of Computer and System Sciences\u00a027, 125\u2013140 (1983)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0167-2789(90)90195-U","volume":"45","author":"J. Kari","year":"1990","unstructured":"Kari, J.: Reversibility of 2D cellular automata is undecidable. Physica D\u00a045, 379\u2013385 (1990)","journal-title":"Physica D"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-58117-5_29","volume-title":"Lindenmayer Systems, Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology","author":"J. Kari","year":"1992","unstructured":"Kari, J.: On the Inverse Neighborhoods of Reversible Cellular Automata. In: Rozenberg, G., Salomaa, A. (eds.) Lindenmayer Systems, Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology, pp. 477\u2013495. Springer, Heidelberg (1992)"},{"key":"5_CR10","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. Journal of Computer and System Sciences\u00a048, 149\u2013182 (1994)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF01201813","volume":"29","author":"J. Kari","year":"1996","unstructured":"Kari, J.: Representation of reversible cellular automata with block permutations. Mathematical Systems Theory\u00a029, 47\u201361 (1996)","journal-title":"Mathematical Systems Theory"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3233\/FI-1999-381208","volume":"38","author":"J. Kari","year":"1999","unstructured":"Kari, J.: On the circuit depth of structurally reversible cellular automata. Fundamenta Informatica\u00a038, 93\u2013107 (1999)","journal-title":"Fundamenta Informatica"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/3-540-46541-3_9","volume-title":"STACS 2000","author":"J. Kari","year":"2000","unstructured":"Kari, J.: Linear Cellular Automata with Multiple State Variables. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol.\u00a01770, pp. 110\u2013121. Springer, Heidelberg (2000)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1006\/jcss.1997.1535","volume":"56","author":"G. Manzini","year":"1998","unstructured":"Manzini, G., Margara, L.: Invertible Linear Cellular Automata over Zm: Algorithmic and Dynamical Aspects. Journal of Computer and System Sciences\u00a056, 60\u201367 (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0167-2789(84)90252-5","volume":"10","author":"N. Margolus","year":"1984","unstructured":"Margolus, N.: Physics-like models of computation. Physica D\u00a010, 81\u201395 (1984)","journal-title":"Physica D"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Machine Models of Self-reproduction. In: Proceedings of the Symposium in Applied Mathematics, vol.\u00a014, pp. 17\u201333 (1962)","DOI":"10.1090\/psapm\/014\/9961"},{"key":"5_CR17","first-page":"758","volume":"72","author":"K. Morita","year":"1989","unstructured":"Morita, K., Harao, M.: Computation Universality of one.dimensional reversible (injective) cellular automata. IEICE Transactions\u00a0E72, 758\u2013762 (1989)","journal-title":"IEICE Transactions"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(95)00038-X","volume":"148","author":"K. Morita","year":"1995","unstructured":"Morita, K.: Reversible simulation of one-dimensional irreversible cellular automata. Theoretical Computer Science\u00a0148, 157\u2013163 (1995)","journal-title":"Theoretical Computer Science"},{"key":"5_CR19","first-page":"685","volume":"14","author":"J. Myhill","year":"1963","unstructured":"Myhill, J.: The Converse to Moore\u2019s Garden-of-Eden Theorem. Proceedings of the American Mathematical Society\u00a014, 685\u2013686 (1963)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/S0022-0000(72)80009-6","volume":"6","author":"D. Richardson","year":"1972","unstructured":"Richardson, D.: Tessellations with Local Transformations. Journal of Computer and System Sciences\u00a06, 373\u2013388 (1972)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR21","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 of some problems of linear cellular automata over finite commutative rings. Information Processing Letters\u00a046, 151\u2013155 (1993)","journal-title":"Information Processing Letters"},{"key":"5_CR22","first-page":"19","volume":"5","author":"K. Sutner","year":"1991","unstructured":"Sutner, K.: De Bruijn graphs and linear cellular automata. Complex Systems\u00a05, 19\u201331 (1991)","journal-title":"Complex Systems"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0022-0000(77)80007-X","volume":"15","author":"T. Toffoli","year":"1977","unstructured":"Toffoli, T.: Computation and construction universality of reversible cellular automata. Journal of Computer and System Sciences\u00a015, 213\u2013231 (1977)","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1763.001.0001","volume-title":"Cellular Automata Machines","author":"T. Toffoli","year":"1987","unstructured":"Toffoli, T., Margolus, N.: Cellular Automata Machines. MIT Press, Cambridge (1987)"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0167-2789(90)90185-R","volume":"45","author":"T. Toffoli","year":"1990","unstructured":"Toffoli, T., Margolus, N.: Invertible cellular automata: a review. Physica D\u00a045, 229\u2013253 (1990)","journal-title":"Physica D"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11505877_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T00:50:44Z","timestamp":1591923044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11505877_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540265467","9783540316824"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11505877_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}