{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:51Z","timestamp":1760202651342},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642316524"},{"type":"electronic","value":"9783642316531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31653-1_10","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T09:51:39Z","timestamp":1342259499000},"page":"97-108","source":"Crossref","is-referenced-by-count":4,"title":["Semigroups with a Context-Free Word Problem"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek F.","family":"Holt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew D.","family":"Owens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Thomas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","first-page":"4","volume":"2","author":"A.V. An\u012bs\u012bmov","year":"1972","unstructured":"An\u012bs\u012bmov, A.V.: Certain algorithmic questions for groups and context-free languages. Kibernetika (Kiev)\u00a0(2), 4\u201311 (1972)","journal-title":"Kibernetika (Kiev)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0022-0000(87)90015-8","volume":"35","author":"J.-M. Autebert","year":"1987","unstructured":"Autebert, J.-M., Boasson, L., S\u00e9nizergues, G.: Groups and NTS languages. J. Comput. System Sci.\u00a035(2), 243\u2013267 (1987)","journal-title":"J. Comput. System Sci."},{"issue":"3","key":"10_CR3","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S0013091500020472","volume":"42","author":"H. Ayik","year":"1999","unstructured":"Ayik, H., Rus\u0306kuc, N.: Generators and relations of Rees matrix semigroups. Proc. Edinburgh Math. Soc. (2)\u00a042(3), 481\u2013495 (1999)","journal-title":"Proc. Edinburgh Math. Soc. (2)"},{"key":"10_CR4","series-title":"Leitf\u00e4den der Angewandten Mathematik und Mechanik","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09367-1","volume-title":"Transductions and context-free languages","author":"J. Berstel","year":"1979","unstructured":"Berstel, J.: Transductions and context-free languages. Leitf\u00e4den der Angewandten Mathematik und Mechanik, vol.\u00a038. B. G. Teubner, Stuttgart (1979)"},{"key":"10_CR5","series-title":"Mathematical Surveys","volume-title":"The algebraic theory of semigroups.Vol. I.","author":"A.H. Clifford","year":"1961","unstructured":"Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups.Vol. I. Mathematical Surveys, vol.\u00a07. American Mathematical Society, Providence (1961)"},{"key":"10_CR6","series-title":"Mathematical Surveys","volume-title":"The algebraic theory of semigroups. Vol. II.","author":"A.H. Clifford","year":"1967","unstructured":"Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups. Vol. II. Mathematical Surveys, vol.\u00a07. American Mathematical Society, Providence (1967)"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1017\/S0305004103007497","volume":"136","author":"A. Duncan","year":"2004","unstructured":"Duncan, A., Gilman, R.H.: Word hyperbolic semigroups. Math. Proc. Cambridge Philos. Soc.\u00a0136(3), 513\u2013524 (2004)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF01388581","volume":"81","author":"M.J. Dunwoody","year":"1985","unstructured":"Dunwoody, M.J.: The accessibility of finitely presented groups. Invent. Math.\u00a081(3), 449\u2013457 (1985)","journal-title":"Invent. Math."},{"key":"10_CR9","volume-title":"The mathematical theory of context-free languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The mathematical theory of context-free languages. McGraw-Hill Book Co., New York (1966)"},{"key":"10_CR10","volume-title":"Introduction to formal language theory.","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to formal language theory. Addison-Wesley Publishing Co., Reading (1978)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1051\/ita\/1991250302551","volume":"25","author":"T. Herbst","year":"1991","unstructured":"Herbst, T.: On a subclass of context-free groups. RAIRO Inform. Th\u00e9or. Appl.\u00a025(3), 255\u2013272 (1991)","journal-title":"RAIRO Inform. Th\u00e9or. Appl."},{"issue":"2","key":"10_CR12","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. Comput. Sci.\u00a0112(2), 187\u2013213 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1142\/9789812776884_0016","volume-title":"Semigroups, Algorithms, Automata and Languages (Coimbra, 2001)","author":"M. Hoffmann","year":"2002","unstructured":"Hoffmann, M., Kuske, D., Otto, F., Thomas, R.M.: Some relatives of automatic and hyperbolic groups. In: Semigroups, Algorithms, Automata and Languages (Coimbra, 2001), pp. 379\u2013406. World Sci. Publ., River Edge (2002)"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1017\/S1446788708000864","volume":"85","author":"D.F. Holt","year":"2008","unstructured":"Holt, D.F., Owens, M.D., Thomas, R.M.: Groups and semigroups with a one-counter word problem. J. Aust. Math. Soc.\u00a085(2), 197\u2013209 (2008)","journal-title":"J. Aust. Math. Soc."},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1112\/S002461070500654X","volume":"71","author":"D.F. Holt","year":"2005","unstructured":"Holt, D.F., Rees, S., R\u00f6ver, C.E., Thomas, R.M.: Groups with context-free co-word problem. J. London Math. Soc. (2)\u00a071(3), 643\u2013657 (2005)","journal-title":"J. London Math. Soc. (2)"},{"key":"10_CR16","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley Publishing Co., Reading (1979)"},{"key":"10_CR17","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. The Clarendon Press, Oxford University Press, New York (1995)"},{"issue":"3","key":"10_CR18","first-page":"813","volume":"11","author":"A. Jura","year":"1978","unstructured":"Jura, A.: Determining ideals of a given finite index in a finitely presented semigroup. Demonstratio Math.\u00a011(3), 813\u2013827 (1978)","journal-title":"Demonstratio Math."},{"key":"10_CR19","volume-title":"Semigroups and combinatorial applications","author":"G. Lallement","year":"1979","unstructured":"Lallement, G.: Semigroups and combinatorial applications. John Wiley & Sons, New York (1979)"},{"issue":"3","key":"10_CR20","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D.E. Muller","year":"1983","unstructured":"Muller, D.E., Schupp, P.E.: Groups, the theory of ends, and context-free languages. J. Comput. System Sci.\u00a026(3), 295\u2013310 (1983)","journal-title":"J. Comput. System Sci."},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/0890-5401(90)90003-Z","volume":"88","author":"M. Pelletier","year":"1990","unstructured":"Pelletier, M., Sakarovitch, J.: Easy multiplications. II. Extensions of rational semigroups. Inform. and Comput.\u00a088(1), 18\u201359 (1990)","journal-title":"Inform. and Comput."},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0019-9958(67)80006-8","volume":"10","author":"A.L. Rosenberg","year":"1967","unstructured":"Rosenberg, A.L.: A machine realization of the linear context-free languages. Information and Control\u00a010(2), 175\u2013188 (1967)","journal-title":"Information and Control"},{"issue":"3","key":"10_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0890-5401(87)90020-4","volume":"74","author":"J. Sakarovitch","year":"1987","unstructured":"Sakarovitch, J.: Easy multiplications. I. The realm of Kleene\u2019s theorem. Inform. and Comput.\u00a074(3), 173\u2013197 (1987)","journal-title":"Inform. and Comput."},{"key":"10_CR24","volume-title":"Group theory and three-dimensional manifolds","author":"J. Stallings","year":"1971","unstructured":"Stallings, J.: Group theory and three-dimensional manifolds. Yale University Press, New Haven (1971)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31653-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T21:10:28Z","timestamp":1714165828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31653-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316524","9783642316531"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31653-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}