{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:06:53Z","timestamp":1648595213327},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11786-017-0291-7","type":"journal-article","created":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T20:36:27Z","timestamp":1490301387000},"page":"7-33","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automaticity of One-Relator Semigroups with Length Less Than or Equal to Three"],"prefix":"10.1007","volume":"11","author":[{"given":"Yuqun","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haibin","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Honglian","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,23]]},"reference":[{"key":"291_CR1","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-4049(91)90139-S","volume":"76","author":"G Baumslag","year":"1991","unstructured":"Baumslag, G., Gersten, S.M., Shapiro, M., Short, H.: Automatic groups and amalgams. J. Pure Appl. Algebra 76, 229\u2013316 (1991)","journal-title":"J. Pure Appl. Algebra"},{"key":"291_CR2","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/0001-8708(78)90010-5","volume":"29","author":"GM Bergman","year":"1978","unstructured":"Bergman, G.M.: The diamond lemma for ring theory. Adv. Math. 29, 178\u2013218 (1978)","journal-title":"Adv. Math."},{"key":"291_CR3","first-page":"1173","volume":"36","author":"LA Bokut","year":"1972","unstructured":"Bokut, L.A.: Unsolvability of the word problem, and subalgebras of finitely presented Lie algebras. Izv. Akad. Nauk. SSSR Ser. Mat. 36, 1173\u20131219 (1972)","journal-title":"Izv. Akad. Nauk. SSSR Ser. Mat."},{"key":"291_CR4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01877233","volume":"15","author":"LA Bokut","year":"1976","unstructured":"Bokut, L.A.: Imbeddings into simple associative algebras. Algebra i Logika 15, 117\u2013142 (1976)","journal-title":"Algebra i Logika"},{"key":"291_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s13373-014-0054-6","volume":"4","author":"LA Bokut","year":"2014","unstructured":"Bokut, L.A., Chen, Y.Q.: Gr\u00f6bner\u2013Shirshov bases and their calculation. Bull. Math. Sci. 4, 325\u2013395 (2014)","journal-title":"Bull. Math. Sci."},{"key":"291_CR6","unstructured":"Buchberger, B.: An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal, Ph.D. thesis, University of Innsbruck, Austria (1965)"},{"key":"291_CR7","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4","author":"B Buchberger","year":"1970","unstructured":"Buchberger, B.: An algorithmical criteria for the solvability of algebraic systems of equations. Aequ. Math. 4, 374\u2013383 (1970)","journal-title":"Aequ. Math."},{"key":"291_CR8","unstructured":"Cain, A., Gray, R., Malheiro, A.: Finite Gr\u00f6bner\u2013Shirshov Bases for Plactic Algebras and Biautomatic Structures for Plactic Monoids. arXiv:1205.4885v2"},{"key":"291_CR9","unstructured":"Cain, A., Gray, R., Malheiro, A.: Rewriting Systems and Biautomatic Structures for Chinese, Hypoplactic, and Sylvester Monoids. arXiv:1310.6572v1"},{"key":"291_CR10","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S1446788700001816","volume":"69","author":"CM Campbell","year":"2000","unstructured":"Campbell, C.M., Robertson, E.F., Rus\u0306kuc, N., Thomas, R.M.: Direct products of automatic semigroups. J. Austral. Math. Soc. 69, 19\u201324 (2000)","journal-title":"J. Austral. Math. Soc."},{"issue":"1\u20132","key":"291_CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0304-3975(99)00151-6","volume":"250","author":"CM Campbell","year":"2001","unstructured":"Campbell, C.M., Robertson, E.F., Rus\u0306kuc, N., Thomas, R.M.: Automatic semigroups. Theoret. Comput. Sci. 250(1\u20132), 365\u2013391 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"291_CR12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1015632704977","volume":"95","author":"CM Campbell","year":"2002","unstructured":"Campbell, C.M., Robertson, E.F., Rus\u0306kuc, N., Thomas, R.M.: Automatic completely\u2013simple semigroups. Acta Math. Hung. 95, 201\u2013205 (2002)","journal-title":"Acta Math. Hung."},{"key":"291_CR13","doi-asserted-by":"crossref","unstructured":"Corran, R., Hoffmann, M., Kuske, D., Thomas, R.M.: Singular artin monoids of finite coxeter type are automatic. In: Language and Automata Theory and Applications, vol. 6638 of Lecture Notes in Computer Science","DOI":"10.1007\/978-3-642-21254-3_19"},{"key":"291_CR14","unstructured":"Descal\u00c7o, L.: Automatic semigroups: Constructions and Subsemigroups, Ph.D. Thesis, University of St. Andrews (2002)"},{"key":"291_CR15","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1017\/S0305004199003722","volume":"127","author":"AJ Duncan","year":"1999","unstructured":"Duncan, A.J., Robertson, E.F., Rus\u0306kuc, N.: Automatic monoids and change of generators. Math. Proc. Camb. Philos. Soc. 127, 403\u2013409 (1999)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"291_CR16","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, Bartlett. Mass, Boston (1992)","DOI":"10.1201\/9781439865699"},{"key":"291_CR17","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01233430","volume":"102","author":"SM Gersten","year":"1990","unstructured":"Gersten, S.M., Short, H.B.: Small cancellation theory and automatic groups. Invent. Math. 102, 305\u2013334 (1990)","journal-title":"Invent. Math."},{"key":"291_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1017\/S0017089502010121","volume":"44","author":"M Hoffmann","year":"2002","unstructured":"Hoffmann, M., Thomas, R.M.: Automaticity and commutative semigroups. Glasgow Math. J. 44, 167\u2013176 (2002)","journal-title":"Glasgow Math. J."},{"key":"291_CR19","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s002330010161","volume":"66","author":"M Hoffmann","year":"2003","unstructured":"Hoffmann, M., Thomas, R.M.: Notions of automaticity in semigroups. Semigroup Forum 66, 337\u2013367 (2003)","journal-title":"Semigroup Forum"},{"key":"291_CR20","doi-asserted-by":"crossref","unstructured":"Hoffmann, M., Thomas, R.M.: Biautomatic semigroups. In: Fundamentals of Computation Theory, vol. 3623 of Lecture Notes in Comput. Sci., pp. 56\u201367. Springer, Berlin (2005)","DOI":"10.1007\/11537311_6"},{"key":"291_CR21","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1016\/j.tcs.2006.09.008","volume":"369","author":"M Hoffmann","year":"2006","unstructured":"Hoffmann, M., Thomas, R.M.: A geometric characterization of automatic semigroups. Theor. Comput. Sci. 369, 300\u2013313 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"291_CR22","first-page":"145","volume-title":"Semigroups, Automata and Languages","author":"JFP Hudson","year":"1998","unstructured":"Hudson, J.F.P.: Regular rewrite systems and automatic structures. In: Almeida, J., Gomes, G.M.S., Silva, P.V. (eds.) Semigroups, Automata and Languages, pp. 145\u2013152. World Scientific, Singapore (1998)"},{"key":"291_CR23","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF01884301","volume":"121","author":"P Papasoglu","year":"1995","unstructured":"Papasoglu, P.: Strongly geodesically automatic groups are hyperbolic. Invent. Math. 121, 323\u2013334 (1995)","journal-title":"Invent. Math."},{"issue":"1\u20133","key":"291_CR24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/j.tcs.2006.06.019","volume":"362","author":"M Picantin","year":"2006","unstructured":"Picantin, M.: Finite transducers for divisibility monoids. Theoret. Comput. Sci. 362(1\u20133), 207\u2013221 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"291_CR25","first-page":"132","volume":"3","author":"AI Shirshov","year":"1962","unstructured":"Shirshov, A.I.: Some algorithmic problems for $$\\varepsilon $$ \u03b5 -algebras. Sibirsk. Mat. Zh. 3, 132\u2013137 (1962)","journal-title":"Sibirsk. Mat. Zh."},{"key":"291_CR26","unstructured":"Shirshov, A.I.: Some algorithmic problems for Lie algebras, Sibirsk. Mat. Zh., (3) (1962), 292\u2013296 (in Russian). English translation: SIGSAM Bull. (33) (1999), 3\u20136"},{"key":"291_CR27","doi-asserted-by":"crossref","unstructured":"Short, H.: An introduction to automatic groups, J. Fountain, Semigroups, Formal Languages and Groups, NATO ASI Series C466, Kluwer, 1995, pp. 233\u2013253","DOI":"10.1007\/978-94-011-0149-3_8"},{"key":"291_CR28","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1093\/qmath\/hah006","volume":"55","author":"PV Silva","year":"2004","unstructured":"Silva, P.V., Steinberg, B.: A geometric characterization of automatic monoids. Q. J. Math. 55, 333\u2013356 (2004)","journal-title":"Q. J. Math."},{"key":"291_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s00233-009-9163-z","volume":"79","author":"X Wang","year":"2009","unstructured":"Wang, X., Xie, W., Lin, H.: Finitess and Dehn functions of automatic monoids having directed fellow trallver property. Semigroup Forum 79, 15\u201321 (2009)","journal-title":"Semigroup Forum"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-017-0291-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-017-0291-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-017-0291-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T03:48:17Z","timestamp":1568951297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-017-0291-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["291"],"URL":"https:\/\/doi.org\/10.1007\/s11786-017-0291-7","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}