{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T16:40:11Z","timestamp":1709311211510},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,10,15]],"date-time":"2008-10-15T00:00:00Z","timestamp":1224028800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Semigroup Forum"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s00233-008-9109-x","type":"journal-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T16:03:59Z","timestamp":1224000239000},"page":"450-485","source":"Crossref","is-referenced-by-count":4,"title":["Finite derivation type for large ideals"],"prefix":"10.1007","volume":"78","author":[{"given":"Ant\u00f3nio","family":"Malheiro","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,15]]},"reference":[{"key":"9109_CR1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s002330010053","volume":"63","author":"I.M. Ara\u00fajo","year":"2001","unstructured":"Ara\u00fajo, I.M., Branco, M.J.J., Fernandes, V.H., Gomes, G.M.S., Ru\u0161kuc, N.: On generators and relations for unions of semigroups. Semigroup Forum 63, 49\u201362 (2001)","journal-title":"Semigroup Forum"},{"key":"9109_CR2","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. 42, 481\u2013495 (1999)","journal-title":"Proc. Edinb. Math. Soc."},{"key":"9109_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9771-7","volume-title":"String-Rewriting Systems","author":"R.V. Book","year":"1993","unstructured":"Book, R.V., Otto, F.: String-Rewriting Systems. Springer, New York (1993)"},{"key":"9109_CR4","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-Schreier type rewriting for semigroups. Semigroup Forum 51, 47\u201362 (1995)","journal-title":"Semigroup Forum"},{"key":"9109_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/jabr.1996.0049","volume":"180","author":"C.M. Campbell","year":"1996","unstructured":"Campbell, C.M., Robertson, E.F., Ru\u0161kuc, N., Thomas, R.M.: On subsemigroups of finitely presented semigroups. J.\u00a0Algebra 180, 1\u201321 (1996)","journal-title":"J.\u00a0Algebra"},{"key":"9109_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0022-4049(96)00114-4","volume":"124","author":"C.M. Campbell","year":"1998","unstructured":"Campbell, C.M., Robertson, E.F., Ru\u0161kuc, N., Thomas, R.M.: Presentations for subsemigroups\u2014applications to ideals of semigroups. J.\u00a0Pure Appl. Algebra 124, 47\u201364 (1998)","journal-title":"J.\u00a0Pure Appl. Algebra"},{"key":"9109_CR7","unstructured":"Diekert, V.: Private communication. March (1997)"},{"key":"9109_CR8","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. Clarendon Press, Oxford (1995)"},{"key":"9109_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61896-3","volume-title":"Combinatorial Group Theory","author":"R.C. Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Berlin (1977)"},{"key":"9109_CR10","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/j.tcs.2005.12.011","volume":"355","author":"A. Malheiro","year":"2006","unstructured":"Malheiro, A.: Finite derivation type for Rees matrix semigroups. Theor. Comput. Sci. 355, 274\u2013290 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9109_CR11","unstructured":"Malheiro, A.: Finiteness conditions for semigroup presentations. PhD thesis, Universidade de Lisboa (2006)"},{"key":"9109_CR12","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1142\/9789812708700_0013","volume-title":"Semigroups and Formal Languages","author":"A. Malheiro","year":"2007","unstructured":"Malheiro, A.: On trivializers and subsemigroups. In: Semigroups and Formal Languages, Proceedings of the International Conference on Semigroups and Languages in Honour of the 65th Birthday of Donald B. McAlister, Lisboa, Portugal, July 2005, pp.\u00a0188\u2013204. World Scientific, Singapore (2007)"},{"key":"9109_CR13","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-1-4613-3394-4_12","volume-title":"Advances in Algorithms, Languages and Complexity","author":"F. Otto","year":"1997","unstructured":"Otto, F., Kobayashi, Y.: Properties of monoids that are presented by finite covergent string-rewriting systems\u2014a survey. In: Du, D.Z., Ko, K. (eds.) Advances in Algorithms, Languages and Complexity, pp.\u00a0225\u2013266. Kluwer Academic, Dordrecht (1997)"},{"key":"9109_CR14","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-94-011-0149-3_7","volume-title":"Semigroups, Formal Languages and Groups","author":"S.J. Pride","year":"1995","unstructured":"Pride, S.J.: Geometric methods in combinatorial semigroup theory. In: Fountain, J. (ed.) Semigroups, Formal Languages and Groups, pp.\u00a0215\u2013232. Kluwer, Dordrecht (1995)"},{"key":"9109_CR15","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1142\/S0218196795000252","volume":"5","author":"S.J. Pride","year":"1995","unstructured":"Pride, S.J.: Low-dimensional homotopy theory for monoids. Int. J. Algebra Comput. 5, 631\u2013649 (1995)","journal-title":"Int. J. Algebra Comput."},{"key":"9109_CR16","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1142\/S0218196700000200","volume":"10","author":"S.J. Pride","year":"2000","unstructured":"Pride, S.J., Wang, X.: Second order Dehn functions of groups and monoids. Int. J. Algebra Comput. 10, 425\u2013456 (2000)","journal-title":"Int. J. Algebra Comput."},{"key":"9109_CR17","unstructured":"Ru\u0161kuc, N.: Semigroup Presentations. PhD thesis, University of St. Andrews (1995)"},{"key":"9109_CR18","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. 76, 383\u2013405 (1998)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9109_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1006\/jabr.1999.7930","volume":"220","author":"N. Ru\u0161kuc","year":"1999","unstructured":"Ru\u0161kuc, N.: Presentations for subgroups of monoids. J.\u00a0Algebra 220, 365\u2013380 (1999)","journal-title":"J.\u00a0Algebra"},{"key":"9109_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(94)90175-9","volume":"131","author":"C.C. Squier","year":"1994","unstructured":"Squier, C.C., Otto, F., Kobayashi, Y.: A finiteness condition for rewriting systems. Theor. Comput. Sci. 131, 271\u2013294 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"9109_CR21","unstructured":"Wang, X.: Second order Dehn functions of groups and monoids. PhD thesis, University of Glasgow (1996)"},{"key":"9109_CR22","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jabr.1997.7388","volume":"204","author":"J. Wang","year":"1998","unstructured":"Wang, J.: Finite complete rewriting systems and finite derivation type for small extensions of monoids. J.\u00a0Algebra 204, 493\u2013503 (1998)","journal-title":"J.\u00a0Algebra"},{"key":"9109_CR23","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0304-3975(97)00164-3","volume":"191","author":"J. Wang","year":"1998","unstructured":"Wang, J.: Finite derivation type for semi-direct products of monoids. Theor. Comput. Sci. 191, 219\u2013228 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"9109_CR24","unstructured":"Wang, J.: Rewriting systems, finiteness conditions and second order Dehn functions of monoids. PhD thesis, University of Glasgow (1998)"}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-008-9109-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-008-9109-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-008-9109-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T16:17:36Z","timestamp":1709309856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-008-9109-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,15]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9109"],"URL":"https:\/\/doi.org\/10.1007\/s00233-008-9109-x","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,15]]}}}