{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:12:26Z","timestamp":1759637546949},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249986"},{"type":"electronic","value":"9783540318569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31856-9_57","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T18:06:19Z","timestamp":1267553179000},"page":"693-704","source":"Crossref","is-referenced-by-count":18,"title":["Automatic Presentations for Finitely Generated Groups"],"prefix":"10.1007","author":[{"given":"Graham P.","family":"Oliver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/0021-8693(79)90230-8","volume":"57","author":"W. Baur","year":"1979","unstructured":"Baur, W., Cherlin, G., Macintyre, A.: Totally categorical groups and rings. J. Algebra\u00a057, 407\u2013440 (1979)","journal-title":"J. Algebra"},{"key":"57_CR2","unstructured":"Blumensath, A.: Automatic structures. Diploma Thesis, University of Aachen (1999)"},{"key":"57_CR3","unstructured":"Blumensath, A., Gr\u00e4del, E.: Finite presentations of infinite structures: automata and interpretations. In: Gottlob, G., Hermann, M., Rusinowitch, M. (eds.) Proceedings of the 2nd International Workshop on Complexity in Automated Deduction (2002); to appear in Theory Comput. Syst."},{"key":"57_CR4","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0168-0072(91)90008-A","volume":"54","author":"D. Cenzer","year":"1991","unstructured":"Cenzer, D., Remmel, J.: Polynomial time versus recursive structures. Annals Pure Appl. Logic\u00a054, 17\u201358 (1991)","journal-title":"Annals Pure Appl. Logic"},{"key":"57_CR5","unstructured":"Delhomm\u00e9, C., Goranko, V., Knapik, T.: Automatic linear orderings (2003) (preprint)"},{"key":"57_CR6","doi-asserted-by":"crossref","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, USA (1992)","DOI":"10.1201\/9781439865699"},{"key":"57_CR7","first-page":"1240","volume":"203","author":"J..L. Er\u0161ov","year":"1972","unstructured":"Er\u0161ov, J.L.: Elementary group theories (Russian). Dokl. Akad. Nauk SSR\u00a0203, 1240\u20131243 (1972); English translation Soviet Math. Dokl. 13, 528\u2013532 (1972)","journal-title":"Dokl. Akad. Nauk SSR"},{"key":"57_CR8","first-page":"325","volume-title":"Proceedings of the International Congress of Mathematicians, Kyoto 1990","author":"R.I. Grigorchuk","year":"1991","unstructured":"Grigorchuk, R.I.: On growth in group theory. In: Proceedings of the International Congress of Mathematicians, Kyoto 1990, vol.\u00a0I, II, pp. 325\u2013338. Math. Soc., Japan (1991)"},{"key":"57_CR9","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02698687","volume":"53","author":"M. Gromov","year":"1981","unstructured":"Gromov, M.: Groups of polynomial growth and expanding maps. Publications Math\u00e9matique d\u2019IH\u00c9S\u00a053, 53\u201378 (1981)","journal-title":"Publications Math\u00e9matique d\u2019IH\u00c9S"},{"key":"57_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0304-3975(93)90018-O","volume":"112","author":"T. Herbst","year":"1993","unstructured":"Herbst, T., Thomas, R.M.: Group presentations, formal languages and characterizations of one-counter groups. Theoret. Comp. Sci.\u00a0112, 187\u2013213 (1993)","journal-title":"Theoret. Comp. Sci."},{"key":"57_CR11","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol.\u00a042. Cambridge University Press, Cambridge (1993)"},{"key":"57_CR12","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., Nerode, A.: Automatic presentations of structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 367\u2013392. Springer, Heidelberg (1995)"},{"key":"57_CR13","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, Los Alamitos (2004)"},{"key":"57_CR14","first-page":"287","volume":"8","author":"B. Khoussainov","year":"2003","unstructured":"Khoussainov, B., Rubin, S.: Some thoughts on automatic structures. J. Autom. Lang. Comb.\u00a08, 287\u2013301 (2003)","journal-title":"J. Autom. Lang. Comb."},{"key":"57_CR15","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1109\/LICS.2003.1210056","volume-title":"Proceedings of the 18th IEEE Symposium on Logic in Computer Science","author":"B. Khoussainov","year":"2003","unstructured":"Khoussainov, B., Rubin, S., Stephan, F.: On automatic partial orders. In: Proceedings of the 18th IEEE Symposium on Logic in Computer Science, pp. 168\u2013177. IEEE Computer Society, Los Alamitos (2003)"},{"key":"57_CR16","first-page":"498","volume":"47","author":"G.A. Noskov","year":"1983","unstructured":"Noskov, G.A.: The elementary theory of a finitely generated almost solvable group (Russian). Izv. Akad. Nauk SSSR Ser. Mat.\u00a047, 498\u2013517 (1983); English translation Math. USSR Izv. 22, 465\u2013482 (1984)","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat."},{"key":"57_CR17","unstructured":"Pelecq, L.: Isomorphismes et automorphismes des graphes context-free, \u00e9quationnels et automatiques. PhD Thesis, Bordeaux 1 University (1997)"},{"key":"57_CR18","first-page":"135","volume":"111","author":"N.S. [ERROR while converting LaTeX\/Unico","year":"1980","unstructured":"Romanovski\u012d, N.S.: On the elementary theory of an almost polycyclic group (Russian). Math. Sb.\u00a0111, 135\u2013143 (1980); English translation Math. USSR Sb. 39 (1981)","journal-title":"Math. Sb."},{"key":"57_CR19","unstructured":"Rubin, S.: Finite automata and well ordered sets. In: Yeates, S. (ed.) Third New Zealand Computer Science Research Students\u2019 Conference, Hamilton, New Zealand, University of Waikato, pp. 86\u201393 (1999)"},{"key":"57_CR20","unstructured":"S\u00e9nizergues, G.: Definability in weak monadic second-order logic of some infinite graphs. In: Compton, K., Pin, J.-E., Thomas, W. (eds.) Automata Theory: Infinite Computations, Wadern, Germany. Dagstuhl Seminar, vol.\u00a09202, p. 16 (1992)"},{"key":"57_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0461-2","volume-title":"Topics in Group Theory","author":"G.C. Smith","year":"2000","unstructured":"Smith, G.C., Tabachnikova, O.M.: Topics in Group Theory. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","STACS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31856-9_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:29:55Z","timestamp":1605760195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31856-9_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249986","9783540318569"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31856-9_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}