{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:20Z","timestamp":1778914160684,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540709176","type":"print"},{"value":"9783540709183","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70918-3_53","type":"book-chapter","created":{"date-parts":[[2007,5,23]],"date-time":"2007-05-23T23:41:23Z","timestamp":1179963683000},"page":"622-633","source":"Crossref","is-referenced-by-count":1,"title":["Reachability in Unions of Commutative Rewriting Systems Is Decidable"],"prefix":"10.1007","author":[{"given":"Miko\u0142aj","family":"Boja\u0144czyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Hoffman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"53_CR1","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E.W. Mayr","year":"1984","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. SIAM J. Comp.\u00a013(3), 441\u2013459 (1984)","journal-title":"SIAM J. Comp."},{"key":"53_CR2","first-page":"267","volume-title":"STOC\u201982, ACM","author":"S.R. Kosaraju","year":"1982","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems (preliminary version). In: STOC\u201982, ACM, pp. 267\u2013281. ACM Press, New York (1982)"},{"key":"53_CR3","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1006\/jabr.1999.8138","volume":"229","author":"M.V. Sapir","year":"2000","unstructured":"Sapir, M.V.: Algorithmic problems for amalgams of finite semigroups. J. Algebra\u00a0229, 514\u2013531 (2000)","journal-title":"J. Algebra"},{"key":"53_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11805618_7","volume-title":"Term Rewriting and Applications","author":"P. Hoffman","year":"2006","unstructured":"Hoffman, P.: Unions of equational monadic theories. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol.\u00a04098, pp. 81\u201395. Springer, Heidelberg (2006)"},{"key":"53_CR5","series-title":"London Math. Soc. Monogr. (N.S.)","volume-title":"Fundamentals of Semigroup Theory","author":"J.M. Howie","year":"1996","unstructured":"Howie, J.M.: Fundamentals of Semigroup Theory. London Math. Soc. Monogr (N.S.), vol.\u00a012. Oxford Univ. Press, Oxford (1996)"},{"issue":"3","key":"53_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1112\/plms\/s3-12.1.511","volume":"12","author":"J.M. Howie","year":"1962","unstructured":"Howie, J.M.: Embedding theorems with amalgamation for semigroups. Proc. London Math.\u00a012(3), 511\u2013534 (1962)","journal-title":"Proc. London Math."},{"key":"53_CR7","first-page":"63","volume":"39","author":"J.M. Howie","year":"1981","unstructured":"Howie, J.M.: Epimorphisms and amalgamations: A survey of recent progress. Coll. Math. Soc. J. Bolyai\u00a039, 63\u201382 (1981)","journal-title":"Coll. Math. Soc. J. Bolyai"},{"issue":"2","key":"53_CR8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/qmath\/29.3.309","volume":"29","author":"T.E. Hall","year":"1978","unstructured":"Hall, T.E.: Representation extension and amalgamation for semigroups. Quart. J. Math. Oxford\u00a029(2), 309\u2013334 (1978)","journal-title":"Quart. J. Math. Oxford"},{"key":"53_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1142\/S0218196799000187","volume":"9","author":"J.C. Birget","year":"1999","unstructured":"Birget, J.C., Margolis, S., Meakin, J.: On the word problem for tensor products and amalgams of monoids. Intnl. J. Alg. Comp.\u00a09, 271\u2013294 (1999)","journal-title":"Intnl. J. Alg. Comp."},{"issue":"1","key":"53_CR10","first-page":"201","volume":"9","author":"M.A. Taiclin","year":"1968","unstructured":"Taiclin, M.A.: Algorithmic problems for commutative semigroups. Soviet Math. Dokl.\u00a09(1), 201\u2013204 (1968)","journal-title":"Soviet Math. Dokl."}],"container-title":["Lecture Notes in Computer Science","STACS 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70918-3_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:00Z","timestamp":1605762720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70918-3_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709176","9783540709183"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70918-3_53","relation":{},"subject":[]}}