{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:42Z","timestamp":1725488982878},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744559"},{"type":"electronic","value":"9783540744566"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74456-6_29","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T07:29:48Z","timestamp":1187076588000},"page":"310-319","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Rice Theorem on Traces of Cellular Automata"],"prefix":"10.1007","author":[{"given":"Julien","family":"Cervelle","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Guillon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0143385700003837","volume":"7","author":"R.H. Gilman","year":"1988","unstructured":"Gilman, R.H.: Classes of linear automata. Erg. Th. & Dyn. Sys.\u00a07, 105\u2013118 (1988)","journal-title":"Erg. Th. & Dyn. Sys."},{"key":"29_CR2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1017\/S0143385700005435","volume":"10","author":"M. Hurley","year":"1990","unstructured":"Hurley, M.: Attractors in cellular automata. Erg. Th. & Dyn. Sys.\u00a010, 131\u2013140 (1990)","journal-title":"Erg. Th. & Dyn. Sys."},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/BFb0028554","volume-title":"STACS 1998","author":"J. Mazoyer","year":"1998","unstructured":"Mazoyer, J., Rapaport, I.: Inducing an order on cellular automata by a grouping operation. In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol.\u00a01373, pp. 116\u2013127. Springer, Heidelberg (1998)"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S014338579706985X","volume":"17","author":"P. K\u016frka","year":"1997","unstructured":"K\u016frka, P.: Languages, equicontinuity and attractors in cellular automata. Erg. Th. & Dyn. Sys.\u00a017, 417\u2013433 (1997)","journal-title":"Erg. Th. & Dyn. Sys."},{"issue":"3","key":"29_CR5","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. on Computing\u00a021(3), 571\u2013586 (1992)","journal-title":"SIAM J. on Computing"},{"issue":"2","key":"29_CR6","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0304-3975(94)90041-8","volume":"127","author":"J. Kari","year":"1994","unstructured":"Kari, J.: Rice\u2019s theorem for the limit sets of cellular automata. Th. Comp. Sci.\u00a0127(2), 229\u2013254 (1994)","journal-title":"Th. Comp. Sci."},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Durand, B., Formenti, E., Varouchas, G.: On undecidability of equicontinuity classification for cellular automata. In: Morvan, M., R\u00e9mila, E. (eds.) DMTCS 2003. DMTCS Proc., Disc. Math. and Th. Comp. Sci, vol.\u00a0AB, pp. 117\u2013128 (2003)","DOI":"10.46298\/dmtcs.2302"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/3-540-36494-3_55","volume-title":"STACS 2003","author":"N. Ollinger","year":"2003","unstructured":"Ollinger, N.: The intrinsic universality problem of one-dimensional cellular automata. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol.\u00a02607, pp. 632\u2013641. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"29_CR9","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1016\/S0304-3975(03)00242-1","volume":"310","author":"J. Cervelle","year":"2004","unstructured":"Cervelle, J., Durand, B.: Tilings: recursivity and regularity. Th. Comp. Sci.\u00a0310(1-3), 469\u2013477 (2004)","journal-title":"Th. Comp. Sci."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Cervelle, J., Formenti, E., Guillon, P.: Sofic trace of a cellular automaton. In: CiE, Siena, Italy, LNCS (June 2007)","DOI":"10.1007\/978-3-540-73001-9_16"},{"key":"29_CR11","unstructured":"K\u016frka, P.: Topological and symbolic dynamics. In: Soci\u00e9t\u00e9 Math\u00e9matique de France (2003)"},{"key":"29_CR12","unstructured":"Gilman, R.H.: Notes on cellular automata (Manuscript 1988)"},{"key":"29_CR13","unstructured":"di Lena, P.: Decidable and Computational properties of Cellular Automata. PhD thesis, Universit\u00e0 di Bologna e Padova (December 2006)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74456-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:41:43Z","timestamp":1684006903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74456-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744559","9783540744566"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74456-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}