{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:59Z","timestamp":1725663599618},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194446"},{"type":"electronic","value":"9783540392705"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19444-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:10:51Z","timestamp":1330200651000},"page":"19-28","source":"Crossref","is-referenced-by-count":1,"title":["Arrays, automata and groups \u2014 Some interconnections"],"prefix":"10.1007","author":[{"given":"Paul E.","family":"Schupp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Berger, The Undecidability of the Domino Problem, Memoirs Amer. Math. Soc. 66, Providence, 1966","key":"2_CR1","DOI":"10.1090\/memo\/0066"},{"key":"2_CR2","volume-title":"The Geometry of Discrete Groups","author":"A. Beardon","year":"1986","unstructured":"A. Beardon, The Geometry of Discrete Groups, Springer-Verlag, Heidelberg, 1986"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02698687","volume":"53","author":"M. Gromov","year":"1981","unstructured":"M. Gromov, Groups of polynomial growth and expending maps, Publ. IHES 53 (1981), pp. 53\u201378.","journal-title":"Publ. IHES"},{"key":"2_CR4","first-page":"261","volume":"28","author":"E.S. Golod","year":"1964","unstructured":"E.S. Golod and I.R. Shafarevitch, On towers of class fields, Izv. Akad. Nauk SSSR, ser. Math. 28 (1964), pp. 261\u2013272.","journal-title":"Izv. Akad. Nauk SSSR, ser. Math."},{"key":"2_CR5","volume-title":"Combinatorial group theory","author":"W. Magnus","year":"1960","unstructured":"W. Magnus, A. Karrass and D. Solitar, Combinatorial group theory, Wiley, New York, 1960."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4310\/jdg\/1214501132","volume":"2","author":"J. Milnor","year":"1968","unstructured":"J. Milnor, A note on curvature and the fundamental group, J. Diff. Geometry 2 (1968), pp. 1\u20137.","journal-title":"J. Diff. Geometry"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1090\/psapm\/014\/9961","volume":"XIV","author":"E.F. Moore","year":"1962","unstructured":"E.F. Moore, Machine models of self-reproduction, in Symposium Applied Math., vol. XIV, Amer. Math. Soc., Providence 1962, pp. 17\u201333.","journal-title":"Symposium Applied Math."},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D.E. Muller","year":"1983","unstructured":"D.E. Muller and P.E. Schupp, Groups, the theory of ends, and context-free languages, J. Comp. Sys. Sciences 26 (1983), pp. 295\u2013310.","journal-title":"J. Comp. Sys. Sciences"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D.E. Muller","year":"1985","unstructured":"D.E. Muller and P.E. Schupp, Ends, pushdown automata and second-order logic, Theor. Comp. Science 37 (1985), pp. 51\u201375.","journal-title":"Theor. Comp. Science"},{"key":"2_CR10","first-page":"685","volume":"14","author":"J. Myhill","year":"1963","unstructured":"J. Myhill, The converse of Moore's Garden of Eden theorem, Proc. Amer. Math. Soc. 14 (1963), pp. 685\u2013686.","journal-title":"Proc. Amer. Math. Soc."},{"key":"2_CR11","first-page":"209","volume":"32","author":"P.S. Novikov","year":"1968","unstructured":"P.S. Novikov and S.I. Adyan, On infinite periodic groups, I, II, III, Izv. Akad. Nauk SSSR, Ser. Mat. 32 (1968), pp. 209\u2013236, 241\u2013479, 709\u2013731.","journal-title":"Akad. Nauk SSSR, Ser. Mat."},{"key":"2_CR12","first-page":"1","volume":"141","author":"M. O. Rabin","year":"1969","unstructured":"M. O. Rabin, Decidability of second-order theories and automata in infinite trees, Trans. Amer. Math. Soc. 141 (1969), pp. 1\u201335.","journal-title":"Trans. Amer. Math. Soc."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0022-0000(85)90003-0","volume":"30","author":"J. Reif","year":"1985","unstructured":"J. Reif and A.P. Sistta, A multiprocess network logic with temporal and spatial modalities, J. Comp. Sys. Sciences 30 (1985), pp. 41\u201353.","journal-title":"J. Comp. Sys. Sciences"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"R.M. Robinson","year":"1971","unstructured":"R.M. Robinson, Undecidability and nonperiodicity for tilings of the plane, Invent. Math. 12 (1971), pp. 177\u2013209.","journal-title":"Invent. Math."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/S0019-9958(83)80024-2","volume":"57","author":"A.P. Stolboushkin","year":"1983","unstructured":"A.P. Stolboushkin et M.A. Taitslin, Deterministic dynamic logic is weaker than dynamic logic, Information and Control 57 (1983), pp. 48\u201355.","journal-title":"Information and Control"},{"key":"2_CR16","volume-title":"The theory of self-reproducing automata","author":"J. Neumann von","year":"1966","unstructured":"John von Neumann, The theory of self-reproducing automata, (edited by A. Burks), University of Illinois Press, Urbana, 1966."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H. Wang","year":"1961","unstructured":"H. Wang, Proving theorems by pattern recognition II, Bell System Technical Journal 40 (1961), pp. 1\u201341.","journal-title":"Bell System Technical Journal"}],"container-title":["Lecture Notes in Computer Science","Automata Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19444-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:17:16Z","timestamp":1605644236000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19444-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194446","9783540392705"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19444-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}