{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T12:16:18Z","timestamp":1710332178804},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,5,16]],"date-time":"2009-05-16T00:00:00Z","timestamp":1242432000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s00224-009-9216-4","type":"journal-article","created":{"date-parts":[[2009,5,15]],"date-time":"2009-05-15T11:47:25Z","timestamp":1242388045000},"page":"568-592","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Presentations and Semigroup Constructions"],"prefix":"10.1007","volume":"47","author":[{"given":"Alan J.","family":"Cain","sequence":"first","affiliation":[]},{"given":"Graham","family":"Oliver","sequence":"additional","affiliation":[]},{"given":"Nik","family":"Ru\u0161kuc","sequence":"additional","affiliation":[]},{"given":"Richard M.","family":"Thomas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,5,16]]},"reference":[{"issue":"3","key":"9216_CR1","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0013091500020472","volume":"42","author":"H. Ayik","year":"1999","unstructured":"Ayik, H., Ru\u0161kuc, N.: Generators and relations of Rees matrix semigroups. Proc. Edinb. Math. Soc. (2) 42(3), 481\u2013495 (1999)","journal-title":"Proc. Edinb. Math. Soc. (2)"},{"key":"9216_CR2","unstructured":"Blumensath, A.: Automatic structures. Diploma thesis, RWTH Aachen (1999)"},{"issue":"1","key":"9216_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00224-003-1104-8","volume":"37","author":"A. Blumensath","year":"2004","unstructured":"Blumensath, A.: Axiomatising tree-interpretable structures. Theory Comput. Syst. 37(1), 3\u201327 (2004). Symposium on Theoretical Aspects of Computer Science (Antibes-Juan les Pins, 2002)","journal-title":"Theory Comput. Syst."},{"issue":"6","key":"9216_CR4","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1007\/s00224-004-1133-y","volume":"37","author":"A. Blumensath","year":"2004","unstructured":"Blumensath, A., Gr\u00e4del, E.: Finite presentations of infinite structures: automata and interpretations. Theory Comput. Syst. 37(6), 641\u2013674 (2004)","journal-title":"Theory Comput. Syst."},{"key":"9216_CR5","doi-asserted-by":"crossref","unstructured":"Cain, A.J.: Automatic semigroups and Bruck\u2013Reilly extensions. Acta. Math. Hung. (2009, to appear)","DOI":"10.1007\/s10474-009-8063-8"},{"key":"9216_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-540-88282-4_15","volume-title":"Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13\u201319, 2008","author":"A.J. Cain","year":"2008","unstructured":"Cain, A.J., Oliver, G., Ru\u0161kuc, N., Thomas, R.M.: Automatic presentations for cancellative semigroups. In: Mart\u00edn-Vide, C., Fernau, H., Otto, F. (eds.) Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13\u201319, 2008. Lecture Notes in Computer Science, vol. 5196, pp. 149\u2013159. Springer, Berlin (2008)"},{"key":"9216_CR7","doi-asserted-by":"crossref","unstructured":"Cain, A.J., Oliver, G., Ru\u0161kuc, N., Thomas, R.M.: Automatic presentations for semigroups. Inf. Comput. (2009, to appear)","DOI":"10.1016\/j.ic.2009.02.005"},{"issue":"1","key":"9216_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02573619","volume":"51","author":"C.M. Campbell","year":"1995","unstructured":"Campbell, C.M., Robertson, E.F., Ru\u0161kuc, N., Thomas, R.M.: Reidemeister\u2013Schreier type rewriting for semigroups. Semigroup Forum 51(1), 47\u201362 (1995)","journal-title":"Semigroup Forum"},{"issue":"1\u20132","key":"9216_CR9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0304-3975(99)00151-6","volume":"250","author":"C.M. Campbell","year":"2001","unstructured":"Campbell, C.M., Robertson, E.F., Ru\u0161kuc, N., Thomas, R.M.: Automatic semigroups. Theor. Comput. Sci. 250(1\u20132), 365\u2013391 (2001)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9216_CR10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1015632704977","volume":"95","author":"C.M. Campbell","year":"2002","unstructured":"Campbell, C.M., Robertson, E.F., Ru\u0161kuc, N., Thomas, R.M.: Automatic completely simple semigroups. Acta Math. Hung. 95(3), 201\u2013215 (2002)","journal-title":"Acta Math. Hung."},{"key":"9216_CR11","doi-asserted-by":"crossref","DOI":"10.1201\/9781439865699","volume-title":"Word Processing in Groups","author":"D.B.A. 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 & Bartlett, Boston (1992)"},{"key":"9216_CR12","unstructured":"Gray, R., Ru\u0161kuc, N.: Generators and relations for subsemigroups via boundaries in Cayley graphs (2009, submitted)"},{"issue":"3","key":"9216_CR13","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1142\/S0218196702000833","volume":"12","author":"M. Hoffmann","year":"2002","unstructured":"Hoffmann, M., Thomas, R.M., Ru\u0161kuc, N.: Automatic semigroups with subsemigroups of finite Rees index. Int. J. Algebra Comput. 12(3), 463\u2013476 (2002)","journal-title":"Int. J. Algebra Comput."},{"key":"9216_CR14","series-title":"London Mathematical Society Monographs (New Series)","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198511946.001.0001","volume-title":"Fundamentals of Semigroup Theory","author":"J.M. Howie","year":"1995","unstructured":"Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs (New Series), vol.\u00a012. Clarendon, New York (1995)"},{"key":"9216_CR15","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.) Logic and Computational Complexity, Indianapolis, IN, 1994. Lecture Notes in Computer Science, vol. 960, pp.\u00a0367\u2013392. Springer, Berlin (1995)"},{"key":"9216_CR16","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/978-3-540-31856-9_57","volume-title":"22nd Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201905), Stuttgart, Germany","author":"G.P. Oliver","year":"2005","unstructured":"Oliver, G.P., Thomas, R.M.: Automatic presentations for finitely generated groups. In: Diekert, V., Durand, B. (eds.) 22nd Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201905), Stuttgart, Germany. Lecture Notes in Comput. Sci., vol. 3404, pp. 693\u2013704. Springer, Berlin (2005)"},{"issue":"2","key":"9216_CR17","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1112\/S0024611598000124","volume":"76","author":"N. Ru\u0161kuc","year":"1998","unstructured":"Ru\u0161kuc, N.: On large subsemigroups and finiteness conditions of semigroups. Proc. Lond. Math. Soc. (3) 76(2), 383\u2013405 (1998)","journal-title":"Proc. Lond. Math. Soc. (3)"},{"key":"9216_CR18","unstructured":"Rubin, S.: Automatic structures. Ph.D. Thesis, Auckland University (2005)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-009-9216-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-009-9216-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-009-9216-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T11:37:37Z","timestamp":1710329857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-009-9216-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,16]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9216"],"URL":"https:\/\/doi.org\/10.1007\/s00224-009-9216-4","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,16]]}}}