{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:21:38Z","timestamp":1725895298781},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540882817"},{"type":"electronic","value":"9783540882824"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88282-4_15","type":"book-chapter","created":{"date-parts":[[2008,9,24]],"date-time":"2008-09-24T07:46:38Z","timestamp":1222242398000},"page":"149-159","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Presentations for Cancellative Semigroups"],"prefix":"10.1007","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","reference":[{"key":"15_CR1","unstructured":"Blumensath, A.: Automatic Structures (Diploma Thesis, RWTH Aachen) (1999)"},{"key":"15_CR2","unstructured":"Cain, A.J.: Presentations for Subsemigroups of Groups (Ph.D. thesis, University of St\u00a0Andrews) (2005)"},{"key":"15_CR3","doi-asserted-by":"publisher","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. Theoret. Comput. Sci.\u00a0250, 365\u2013391 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Mathematical Surveys 7, vol.\u00a01. American Mathematical Society (1961)","DOI":"10.1090\/surv\/007.1\/01"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.crma.2004.03.035","volume":"339","author":"C. Delhomm\u00e9","year":"2004","unstructured":"Delhomm\u00e9, C.: Automaticit\u00e9 des ordinaux et des graphes homog\u00e8nes. C. R. Math. Acad. Sci. Paris\u00a0339, 5\u201310 (2004)","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"15_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 & Bartlett (1992)","DOI":"10.1201\/9781439865699"},{"key":"15_CR7","first-page":"305","volume":"43","author":"R.I. Grigorchuk","year":"1988","unstructured":"Grigorchuk, R.I.: Semigroups with cancellations of degree growth. Mat. Zametki\u00a043, 305\u2013319, 428 (1988) (in Russian); Grigorchuk, R. I.: Cancellative semigroups of power growth. Math. Notes 43, 175\u2013183 (1988) (translation in)","journal-title":"Mat. Zametki"},{"key":"15_CR8","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":"15_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF02698687","volume":"53","author":"M. Gromov","year":"1981","unstructured":"Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes \u00c9tudes Sci. Publ. Math.\u00a053, 53\u201378 (1981)","journal-title":"Inst. Hautes \u00c9tudes Sci. Publ. Math."},{"key":"15_CR10","series-title":"London Mathematical Society Monographs 12","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 12. Oxford University Press, Oxford (1995)"},{"key":"15_CR11","first-page":"145","volume-title":"Semigroups, Automata and Languages","author":"J.F.P. 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":"15_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":"15_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":"15_CR14","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.: 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":"15_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1098\/rspa.1963.0110","volume":"274","author":"B.H. Neumann","year":"1963","unstructured":"Neumann, B.H., Taylor, T.: Subsemigroups of nilpotent groups. Proc. Roy. Soc. Ser. A\u00a0274, 1\u20134 (1963)","journal-title":"Proc. Roy. Soc. Ser. A"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"305","DOI":"10.2178\/bsl\/1186666149","volume":"13","author":"A. Nies","year":"2007","unstructured":"Nies, A.: Describing groups. Bull. Symbolic Logic\u00a013, 305\u2013339 (2007)","journal-title":"Bull. Symbolic Logic"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/978-3-540-31856-9_57","volume-title":"STACS 2005","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.) STACS 2005. LNCS, vol.\u00a03404, pp. 693\u2013704. Springer, Heidelberg (2005)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0052359","volume-title":"Rewriting Techniques and Applications","author":"F. Otto","year":"1998","unstructured":"Otto, F., Sattler-Klein, A., Madlener, K.: Automatic monoids versus monoids with finite convergent presentations. In: Nipkow, T. (ed.) RTA 1998. LNCS, vol.\u00a01379, pp. 32\u201346. Springer, Heidelberg (1998)"},{"key":"15_CR19","unstructured":"Pelecq, L.: Isomorphismes et automorphismes des graphes context-free, \u00e9quationnels et automatiques. PhD Thesis, Bordeaux 1 University (1997)"},{"key":"15_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)"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88282-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T22:41:05Z","timestamp":1709246465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88282-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540882817","9783540882824"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88282-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}