{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:36Z","timestamp":1725487236151},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_29","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T05:40:50Z","timestamp":1183009250000},"page":"422-436","source":"Crossref","is-referenced-by-count":4,"title":["Finite Automata Presentable Abelian Groups"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"Nies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Semukhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0094245","volume-title":"Finite Rank Torsion Free Abelian Groups and Rings","author":"D. Arnold","year":"1982","unstructured":"Arnold, D.: Finite Rank Torsion Free Abelian Groups and Rings. Springer, Heidelberg (1982)"},{"key":"29_CR2","first-page":"51","volume-title":"15th Annual IEEE Symposium on Logic in Computer Science","author":"A. Blumensath","year":"2000","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, 2000, pp. 51\u201362. IEEE Comput. Soc. Press, Los Alamitos (2000)"},{"key":"29_CR3","unstructured":"Delhomm\u00e9, C.: Non-automaticity of \u03c9 \u03c9 . Manuscript (2001)"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Fuchs, L.: Infinite Abelian Groups, vol. 1, 2. Academic Press, London (1970, 1973)","DOI":"10.1112\/blms\/2.2.205"},{"key":"29_CR5","unstructured":"Hodgson, B.R.: Th\u00e9ories d\u00e9cidables par automate fini. PhD Thesis, University of Montreal (1976)"},{"key":"29_CR6","first-page":"39","volume":"7","author":"B.R. Hodgson","year":"1983","unstructured":"Hodgson, B.R.: Th\u00e9ories d\u00e9cidables par automate fini. Annales de Sciences Math\u00e9matiques\u00a07, 39\u201357 (1983)","journal-title":"Annales de Sciences Math\u00e9matiques"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-60178-3_93","volume-title":"Logic and Computational Complexity","author":"B. Khoussainov","year":"1995","unstructured":"Khoussainov, B., Neorde, A.: Automatic presentations of structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 367\u2013392. Springer, Heidelberg (1995)"},{"issue":"2","key":"29_CR8","first-page":"287","volume":"8","author":"B. Khoussainov","year":"2003","unstructured":"Khoussainov, B., Rubin, S.: Automatic structures: overview and future directions. J. Autom. Lang. Comb. (Weighted automata: theory and applications, Dresden, 2002)\u00a08(2), 287\u2013301 (2003)","journal-title":"J. Autom. Lang. Comb."},{"key":"29_CR9","first-page":"110","volume-title":"Proceedings of the 19th IEEE Symposium on Logic in Computer Science","author":"B. Khoussainov","year":"2004","unstructured":"Khoussainov, B., Nies, A., Rubin, S., Stephan, F.: Automatic structures: richness and limitations. In: Proceedings of the 19th IEEE Symposium on Logic in Computer Science, pp. 110\u2013119. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:04:50Z","timestamp":1605744290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}