{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:40Z","timestamp":1725664720269},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:40Z","timestamp":1330279120000},"page":"126-135","source":"Crossref","is-referenced-by-count":1,"title":["A simple abstract semantics for equational theories"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"P.Aczel. Term Declaration Logic and Generalised Composita, in: Proceedings of the sixth Symposium on Logic and Computer Science, I.E.E.E. Computer Society Press, 1991.","DOI":"10.1109\/LICS.1991.151627"},{"key":"8_CR2","unstructured":"G.Barthe. Term Declaration Logic and Generalised Composita, Ph.D thesis, University of Manchester, 1993."},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"G.Barthe. A simple abstract semantics for equational theories, to appear as a technical report, University of Nijmegen, 1995.","DOI":"10.1007\/3-540-60249-6_45"},{"key":"8_CR4","unstructured":"J.Goguen. Order-sorted algebra, Technical report, UCLA, 1968."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"J.Goguen. What is Unification?, in Hassan Ait-Kaci and Maurice Nivat editors, Resolution of Equations in Algebraic Structures, Vol. 1, pp 217\u2013261, Academic Press, 1989.","DOI":"10.1016\/B978-0-12-046370-1.50012-7"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"J. Goguen","year":"1994","unstructured":"J.Goguen and R.Diaconescu. An Oxford survey of Order Sorted Algebra, Mathematical Structures in Computer Science, Vol. 4, pp 363\u2013392, 1994","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J.Goguen and J.Meseguer. Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations, Theoretical Computer Science, Vol. 105, pp 217\u2013273, 1992.","journal-title":"Theoretical Computer Science"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"S.Mac Lane. Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"A.Nerode. Composita, Equations and Freely Generated Algebras, Transactions of the American Mathematical Society, pp 139\u2013151, 1959.","DOI":"10.1090\/S0002-9947-1959-0104609-5"},{"key":"8_CR10","unstructured":"D.Rydeheard and R.Burstall. Computational Category Theory, International Series in Computer Science, Prenctice-Hall, 1988."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"M.Schmidt-Schau\u00df. Computational Aspects of Order-Sorted Logic with Term Declarations, Springer Lecture Notes in Artificial Intelligence, Vol. 395, 1989.","DOI":"10.1007\/BFb0024065"},{"key":"8_CR12","unstructured":"M.Schmidt-Schau\u00df and J.Siekmann. Unification Algebras: An Axiomatic Approach to Unification, Equation Solving and Constraint Solving, Universit\u00e4t Kaiserslautern, SEKI-REPORT SR-88-23, 1988."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"G.Smolka, W.Nutt, J.Goguen and J.Meseguer. Order-Sorted Equational Computation, in Hassan Ait-Kaci and Maurice Nivat editors, Resolution of Equations in Algebraic Structures, Vol. 2, Academic Press, 1989.","DOI":"10.1016\/B978-0-12-046371-8.50016-X"},{"key":"8_CR14","unstructured":"J.Williams. Instantiation Theory, Springer Lecture Notes in Artificial Intelligence, Vol. 518, 1991."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:39Z","timestamp":1605646599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}