{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:05Z","timestamp":1725858065792},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_29","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T11:34:07Z","timestamp":1465817647000},"page":"282-291","source":"Crossref","is-referenced-by-count":1,"title":["Finitely Generated Semiautomatic Groups"],"prefix":"10.1007","author":[{"given":"Sanjay","family":"Jain","sequence":"first","affiliation":[]},{"given":"Bakhadyr","family":"Khoussainov","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-319-09698-8_1","volume-title":"Developments in Language Theory","author":"D Berdinsky","year":"2014","unstructured":"Berdinsky, D., Khoussainov, B.: On automatic transitive graphs. In: Shur, A.M., Volkov, M.V. (eds.) DLT 2014. LNCS, vol. 8633, pp. 1\u201312. Springer, Heidelberg (2014)"},{"issue":"3","key":"29_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-9(3:19)2013","volume":"9","author":"J Case","year":"2013","unstructured":"Case, J., Jain, S., Seah, S., Stephan, F.: Automatic functions, linear time and learning. Logical Meth. Comput. Sci. 9(3), 1\u201326 (2013)","journal-title":"Logical Meth. Comput. Sci."},{"key":"29_CR3","doi-asserted-by":"crossref","DOI":"10.1201\/9781439865699","volume-title":"Word Processing in Groups","author":"DBA Epstein","year":"1992","unstructured":"Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett Publishers, Boston (1992)"},{"key":"29_CR4","unstructured":"Hodgson, B.R.: Th\u00e9ories d\u00e9cidables par automate fini. Ph.D. thesis, D\u00e9partement de math\u00e9matiques et de statistique, Universit\u00e9 de Montr\u00e9al (1976)"},{"issue":"1","key":"29_CR5","first-page":"39","volume":"7","author":"BR Hodgson","year":"1983","unstructured":"Hodgson, B.R.: D\u00e9cidabilit\u00e9 par automate fini. Annales des sciences math\u00e9matiques du Qu\u00e9bec 7(1), 39\u201357 (1983)","journal-title":"Annales des sciences math\u00e9matiques du Qu\u00e9bec"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-319-06686-8_16","volume-title":"Computer Science - Theory and Applications","author":"S Jain","year":"2014","unstructured":"Jain, S., Khoussainov, B., Stephan, F., Teng, D., Zou, S.: Semiautomatic structures. In: Hirsch, E.A., Kuznetsov, S.O., Pin, J.\u00c9., Vereshchagin, N.K. (eds.) CSR 2014. LNCS, vol. 8476, pp. 204\u2013217. Springer, Heidelberg (2014)"},{"issue":"1","key":"29_CR7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.4171\/GGD\/221","volume":"8","author":"O Kharlampovich","year":"2014","unstructured":"Kharlampovich, O., Khoussainov, B., Miasnikov, A.: From automatic structures to automatic groups. Groups Geom. Dyn. Syst. 8(1), 157\u2013198 (2014)","journal-title":"Groups Geom. Dyn. Syst."},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-60178-3_93","volume-title":"Automatic Presentations of Structures","author":"B Khoussainov","year":"1995","unstructured":"Khoussainov, B., Nerode, A.: Logic and computational complexity. In: Leivant, D. (ed.) Automatic Presentations of Structures. LNCS, vol. 960, pp. 367\u2013392. Springer, Heidelberg (1995)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-642-28332-1_34","volume-title":"Language and Automata Theory and Applications","author":"A Miasnikov","year":"2012","unstructured":"Miasnikov, A., \u0160uni\u0107, Z.: Cayley graph automatic groups are not necessarily Cayley graph biautomatic. In: Dediu, A.-H., Mart\u00edn-Vide, C. (eds.) LATA 2012. LNCS, vol. 7183, pp. 401\u2013407. Springer, Heidelberg (2012)"},{"issue":"3","key":"29_CR10","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2178\/bsl\/1186666149","volume":"13","author":"A Nies","year":"2007","unstructured":"Nies, A.: Describing groups. Bull. Symbolic Logic 13(3), 305\u2013339 (2007)","journal-title":"Bull. Symbolic Logic"},{"key":"29_CR11","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/j.jalgebra.2007.04.015","volume":"320","author":"A Nies","year":"2008","unstructured":"Nies, A., Thomas, R.: FA-presentable groups and rings. J. Algebra 320, 569\u2013585 (2008)","journal-title":"J. Algebra"},{"key":"29_CR12","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.jalgebra.2012.04.014","volume":"364","author":"Z \u0160uni\u0107","year":"2012","unstructured":"\u0160uni\u0107, Z., Ventura, E.: The conjugacy problem in automaton groups is not solvable. J. Algebra 364, 148\u2013154 (2012)","journal-title":"J. Algebra"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T13:45:31Z","timestamp":1568036731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}