{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:12Z","timestamp":1725566652863},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540255963"},{"type":"electronic","value":"9783540320333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32033-3_6","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T00:20:02Z","timestamp":1285633202000},"page":"61-73","source":"Crossref","is-referenced-by-count":1,"title":["Union of Equational Theories: An Algebraic Approach"],"prefix":"10.1007","author":[{"given":"Piotr","family":"Hoffman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1006\/inco.2001.3118","volume":"178","author":"F. Baader","year":"2002","unstructured":"Baader, F., Tinelli, C.: Deciding the word problem in the union of equational theories. Information and Computation\u00a0178(2), 346\u2013390 (2002)","journal-title":"Information and Computation"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S0304-3975(01)00248-1","volume":"294","author":"C. Fiorentini","year":"2003","unstructured":"Fiorentini, C., Ghilardi, S.: Combining word problems through rewriting in categories with products. Theoretical Computer Science\u00a0294, 103\u2013149 (2003)","journal-title":"Theoretical Computer Science"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1090\/S0002-9947-1978-0515546-8","volume":"246","author":"T.E. Hall","year":"1978","unstructured":"Hall, T.E.: Amalgamation and inverse and regular semigroups. Transactions of the AMS\u00a0246, 395\u2013406 (1978)","journal-title":"Transactions of the AMS"},{"key":"6_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198535775.001.0001","volume-title":"Techniques of Semigroup Theory","author":"P.M. Higgins","year":"1992","unstructured":"Higgins, P.M.: Techniques of Semigroup Theory. Oxford University Press, Oxford (1992)"},{"key":"6_CR5","series-title":"London Mathematical Society Monographs, New Series","volume-title":"Fundamentals of Semigroup Theory","author":"J.M. Howie","year":"1996","unstructured":"Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs, New Series, vol.\u00a012. Oxford University Press, Oxford (1996)"},{"key":"6_CR6","series-title":"Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/CBO9780511661877.007","volume-title":"Semigroup Theory and its Applications, Proceedings of the 1994 Conference Commemorating the Work of Alfred H. Clifford","author":"J.M. Howie","year":"1996","unstructured":"Howie, J.M.: Isbell\u2019s zigzag theorem and its consequences. In: Hofmann, K.H., Mislove, M.W. (eds.) Semigroup Theory and its Applications, Proceedings of the 1994 Conference Commemorating the Work of Alfred H. Clifford, New Orleans, LA, London. Mathematical Society Lecture Notes Series, vol.\u00a0231, pp. 81\u201391. Cambridge University Press, Cambridge (1996)"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-642-99902-4_9","volume-title":"Proceedings of Conference on Categorical Algebra","author":"J.R. Isbell","year":"1966","unstructured":"Isbell, J.R.: Epimorphisms and dominions. In: Proceedings of Conference on Categorical Algebra, La Jolla, California, pp. 232\u2013246. Springer, Heidelberg (1966)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Programming Language Semantics","author":"T. Leinster","year":"1988","unstructured":"Leinster, T.: Higher Operads, Higher Categories. In: Main, M.G., Mislove, M.W., Melton, A.C., Schmidt, D. (eds.) MFPS 1987. LNCS, vol.\u00a0298, Springer, Heidelberg (1988)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4064\/cm-30-1-15-25","volume":"30","author":"D. Pigozzi","year":"1974","unstructured":"Pigozzi, D.: The join of equational theories. Colloquium Mathematicum\u00a030(1), 15\u201325 (1974)","journal-title":"Colloquium Mathematicum"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1112\/plms\/s3-52.1.119","volume":"52","author":"J. Renshaw","year":"1986","unstructured":"Renshaw, J.: Extension and amalgamation in monoids and semigroups. Proceedings of the London Mathematical Society\u00a052(3), 119\u2013141 (1986)","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1112\/jlms\/s2-33.1.73","volume":"33","author":"J. Renshaw","year":"1986","unstructured":"Renshaw, J.: Flatness and amalgamation in monoids. Journal of the London Mathematical Society\u00a033(2), 73\u201388 (1986)","journal-title":"Journal of the London Mathematical Society"},{"issue":"2","key":"6_CR12","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. Journal of Algebra\u00a0229(2), 514\u2013531 (2000)","journal-title":"Journal of Algebra"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32033-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T20:09:35Z","timestamp":1711829375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32033-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255963","9783540320333"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32033-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}