{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T08:27:23Z","timestamp":1790929643733,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540275800","type":"print"},{"value":"9783540316916","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11523468_34","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T14:58:59Z","timestamp":1279465139000},"page":"410-420","source":"Crossref","is-referenced-by-count":12,"title":["A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata"],"prefix":"10.1007","author":[{"given":"Eugen","family":"Czeizler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jarkko","family":"Kari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"34_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":"34_CR2","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. Mathematical Systems Theory\u00a03, 320\u2013375 (1969)","journal-title":"Mathematical Systems Theory"},{"key":"34_CR3","first-page":"477","volume-title":"Lindenmayer Systems, Impact in Theoretical Computer Science, Computer Graphics and Developmental Biology","author":"J. Kari","year":"1989","unstructured":"Kari, J.: On the Inverse Neighborhood of Reversible Cellular Automata. In: Rosenberg, G., Salomaa, A. (eds.) Lindenmayer Systems, Impact in Theoretical Computer Science, Computer Graphics and Developmental Biology, pp. 477\u2013495. Springer, Heidenberg (1989)"},{"key":"34_CR4","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":"34_CR5","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":"34_CR6","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":"34_CR7","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":"34_CR8","doi-asserted-by":"crossref","unstructured":"Myhill, J.: The Converse to Moore\u2019s Garden-of-Eden Theorem. In: Proceedings of the American Mathematical Society, vol.\u00a014, pp. 685\u2013686 (1963)","DOI":"10.2307\/2034301"},{"key":"34_CR9","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":"34_CR10","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":"34_CR11","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"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: A New Kind of Science. Wolfram Media (2002)","DOI":"10.1115\/1.1553433"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11523468_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:07Z","timestamp":1605625567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11523468_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540275800","9783540316916"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11523468_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}