{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:58:22Z","timestamp":1725843502331},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319274355"},{"type":"electronic","value":"9783319274362"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27436-2_3","type":"book-chapter","created":{"date-parts":[[2015,12,16]],"date-time":"2015-12-16T02:06:46Z","timestamp":1450231606000},"page":"36-53","source":"Crossref","is-referenced-by-count":4,"title":["Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Skeirik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,17]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H Comon","year":"1989","unstructured":"Comon, H., Lescanne, P.: Equational problems and disunification. J. Symbol. Comput. 7, 371\u2013425 (1989)","journal-title":"J. Symbol. Comput."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/BFb0032066","volume-title":"Automata, Languages and Programming","author":"H Comon","year":"1990","unstructured":"Comon, H.: Equational formulas in order-sorted algebras. In: Comon, H. (ed.) Automata, Languages and Programming. LNCS, vol. 443, pp. 674\u2013688. Springer, Heidelberg (1990)"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1006\/inco.1994.1056","volume":"112","author":"H Comon","year":"1994","unstructured":"Comon, H., Delor, C.: Equational formulae with membership constraints. Inf. Comput. 112(2), 167\u2013216 (1994)","journal-title":"Inf. Comput."},{"key":"3_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, vol. 6. Springer, Heidelberg (1985)"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1006\/jsco.1998.0203","volume":"26","author":"M Fern\u00e1ndez","year":"1998","unstructured":"Fern\u00e1ndez, M.: Negation elimination in empty or permutative theories. J. Symb. Comput. 26(1), 97\u2013133 (1998)","journal-title":"J. Symb. Comput."},{"key":"3_CR7","volume-title":"CafeOBJ Report","author":"K Futatsugi","year":"1998","unstructured":"Futatsugi, K., Diaconescu, R.: CafeOBJ Report. World Scientific, Singapore (1998)"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J Goguen","year":"1992","unstructured":"Goguen, J., Meseguer, J.: Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theo. Comput. Sci. 105, 217\u2013273 (1992)","journal-title":"Theo. Comput. Sci."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action, pp. 3\u2013167. Kluwer (2000)","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-54345-7_44","volume-title":"Mathematical Foundations of Computer Science 1991","author":"J-L Lassez","year":"1991","unstructured":"Lassez, J.-L., Maher, M., Marriott, K.: Elimination of negation in term algebras. In: Tarlecki, Andrzej (ed.) MFCS 1991. LNCS, vol. 520, pp. 1\u201316. Springer, Heidelberg (1991)"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF00243794","volume":"3","author":"JL Lassez","year":"1987","unstructured":"Lassez, J.L., Marriott, K.: Explicit representation of terms defined by counter examples. J. Autom. Reason. 3(3), 301\u2013317 (1987)","journal-title":"J. Autom. Reason."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Maher, M.J.: Complete axiomatizations of the algebras of finite, rational and infinite trees. In: Proceedings of LICS 1988, pp. 348\u2013357. IEEE Computer Society (1988)","DOI":"10.1109\/LICS.1988.5132"},{"key":"3_CR14","unstructured":"Maher, M.J.: Complete axiomatizations of the algebras of finite, rational and infinite trees. Technical report, IBM T. J. Watson Research Center (1988)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Skeirik, S.: Equational formulas and pattern operations in initial order-sorted algebras. Technical Report, University of Illinois at Urbana-Champaign, June 2015. http:\/\/hdl.handle.net\/2142\/78055","DOI":"10.1007\/978-3-319-27436-2_3"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, Francesco (ed.) WADT 1997. LNCS, vol. 1376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0747-7171(89)80036-7","volume":"8","author":"J Meseguer","year":"1989","unstructured":"Meseguer, J., Goguen, J., Smolka, G.: Order-sorted unification. J. Symbolic Comput. 8, 383\u2013413 (1989)","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/S0304-3975(02)00583-2","volume":"290","author":"R Pichler","year":"2003","unstructured":"Pichler, R.: Explicit versus implicit representations of subsets of the Herbrand universe. Theo. Comput. Sci. 290(1), 1021\u20131056 (2003)","journal-title":"Theo. Comput. Sci."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-56868-9_24","volume-title":"Rewriting Techniques and Applications","author":"M Tajine","year":"1993","unstructured":"Tajine, M.: The negation elimination from syntactic equational formula is decidable. In: Kirchner, Claude (ed.) RTA 1993. LNCS, vol. 690, pp. 316\u2013327. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-27436-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T11:07:40Z","timestamp":1567422460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27436-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319274355","9783319274362"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}