{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T10:52:41Z","timestamp":1758279161918},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,5,3]],"date-time":"2012-05-03T00:00:00Z","timestamp":1336003200000},"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":[[2012,8]]},"DOI":"10.1007\/s00233-012-9399-x","type":"journal-article","created":{"date-parts":[[2012,5,2]],"date-time":"2012-05-02T15:43:52Z","timestamp":1335973432000},"page":"129-146","source":"Crossref","is-referenced-by-count":7,"title":["Amalgams of finite inverse semigroups and deterministic context-free languages"],"prefix":"10.1007","volume":"85","author":[{"given":"A.","family":"Cherubini","sequence":"first","affiliation":[]},{"given":"C.","family":"Nuccio","sequence":"additional","affiliation":[]},{"given":"E.","family":"Rodaro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,5,3]]},"reference":[{"key":"9399_CR1","first-page":"420","volume-title":"LNCS","author":"V. Barany","year":"2006","unstructured":"Barany, V., Loding, C., Serre, O.: Regularity problems for visibly pushdown languages. In: LNCS, vol.\u00a03884, pp.\u00a0420\u2013431 (2006)"},{"key":"9399_CR2","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1006\/jabr.1997.7155","volume":"198","author":"P. Bennett","year":"1997","unstructured":"Bennett, P.: Amalgamated free product of inverse semigroups. J. Algebra 198, 499\u2013537 (1997)","journal-title":"J. Algebra"},{"key":"9399_CR3","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF02676602","volume":"54","author":"A. Cherubini","year":"1997","unstructured":"Cherubini, A., Meakin, J., Piochi, B.: Amalgams of free inverse semigroups. Semigroup Forum 54, 199\u2013220 (1997)","journal-title":"Semigroup Forum"},{"key":"9399_CR4","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1016\/j.jalgebra.2004.12.015","volume":"285","author":"A. Cherubini","year":"2005","unstructured":"Cherubini, A., Meakin, J., Piochi, B.: Amalgams of finite inverse semigroups. J. Algebra 285, 706\u2013725 (2005)","journal-title":"J. Algebra"},{"issue":"1\u20132","key":"9399_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1142\/S0218196711006078","volume":"21","author":"A. Cherubini","year":"2011","unstructured":"Cherubini, A., Nuccio, C., Rodaro, E.: Multilinear equations on amalgams of finite inverse semigroups. Int. J. Algebra Comput. 21(1\u20132), 35\u201359 (2011)","journal-title":"Int. J. Algebra Comput."},{"issue":"4","key":"9399_CR6","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1142\/S1005386711000496","volume":"18","author":"A. Cherubini","year":"2011","unstructured":"Cherubini, A., Rodaro, E.: Amalgams vs yamamura\u2019s HNN-extensions of inverse semigroups. Algebra Colloq. 18(4), 647\u2013657 (2011)","journal-title":"Algebra Colloq."},{"key":"9399_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0021-8693(75)90164-7","volume":"34","author":"T.E. Hall","year":"1975","unstructured":"Hall, T.E.: Free product with amalgamation of inverse semigroups. J. Algebra 34, 375\u2013385 (1975)","journal-title":"J. Algebra"},{"key":"9399_CR8","volume-title":"Introduction to Formal Languages Theory","author":"M.A. Harrison","year":"1978","unstructured":"Harrison, M.A.: Introduction to Formal Languages Theory. Addison-Wesley, Reading (1978)"},{"issue":"1","key":"9399_CR9","first-page":"259","volume":"335","author":"S.W. Margolis","year":"1993","unstructured":"Margolis, S.W., Meakin, J.C.: Inverse monoids, trees and context-free languages. Trans. Am. Math. Soc. 335(1), 259\u2013276 (1993)","journal-title":"Trans. Am. Math. Soc."},{"key":"9399_CR10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D.E. Muller","year":"1985","unstructured":"Muller, D.E., Schupp, P.E.: Context-free languages, groups, the theory of ends, second-order logic. Theor. Comput. Sci. 37, 51\u201375 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"9399_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1112\/plms\/s3-29.3.385","volume":"30","author":"W.D. Munn","year":"1974","unstructured":"Munn, W.D.: Free inverse semigroups. Proc. Lond. Math. Soc. 30, 385\u2013404 (1974)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9399_CR12","volume-title":"Inverse Semigroups","author":"M. Petrich","year":"1984","unstructured":"Petrich, M.: Inverse Semigroups. Wiley, New York (1984)"},{"issue":"1","key":"9399_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(91)90076-E","volume":"88","author":"P. Shankar","year":"1991","unstructured":"Shankar, P., Adiga, B.S.: A graph-based regularity test for deterministic context-free languages. Theor. Comput. Sci. 88(1), 117\u2013125 (1991)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"9399_CR14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s00233-008-9050-z","volume":"77","author":"E. Rodaro","year":"2008","unstructured":"Rodaro, E., Cherubini, A.: Decidability of the word problem in Yamamura\u2019s HNN-extensions of finite inverse semigroups. Semigroup Forum 77(2), 163\u2013186 (2008)","journal-title":"Semigroup Forum"},{"issue":"1","key":"9399_CR15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1142\/S021819671000556X","volume":"20","author":"E. Rodaro","year":"2010","unstructured":"Rodaro, E.: Bicyclic subsemigroups in amalgams of finite inverse semigroups. Int. J. Algebra Comput. 20(1), 89\u2013113 (2010)","journal-title":"Int. J. Algebra Comput."},{"key":"9399_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0022-4049(90)90057-O","volume":"198","author":"J.B. Stephen","year":"1990","unstructured":"Stephen, J.B.: Presentation of inverse monoids. J. Pure Appl. Algebra 198, 81\u2013112 (1990)","journal-title":"J. Pure Appl. Algebra"},{"issue":"7","key":"9399_CR17","doi-asserted-by":"crossref","first-page":"1111","DOI":"10.1142\/S0218196711006868","volume":"21","author":"P. Silva","year":"2011","unstructured":"Silva, P.: Finite idempotent inverse monoid presentations. Int. J. Algebra Comput. 21(7), 1111\u20131133 (2011)","journal-title":"Int. J. Algebra Comput."}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-012-9399-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-012-9399-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-012-9399-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:20:21Z","timestamp":1558704021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-012-9399-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,3]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9399"],"URL":"https:\/\/doi.org\/10.1007\/s00233-012-9399-x","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,3]]}}}