{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:50Z","timestamp":1761596870810},"reference-count":12,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80513-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"41-51","source":"Crossref","is-referenced-by-count":7,"title":["A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274."],"prefix":"10.1016","volume":"66","author":[{"given":"P.","family":"Eklund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.A.","family":"Gal\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Valverde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB1","unstructured":"T. Alsinet, L. Godo, A complete calculus for possibilistic logic programming with propositional variables, Proc. Uncertainty in AI'00 conference, 2000, pages 1\u201310."},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB2","series-title":"Seminars on Triples and Categorical Homology Theory, 1966\/67, LNM 80","first-page":"119","article-title":"Distributive laws","author":"Beck","year":"1969"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB3","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1215\/ijm\/1256068141","article-title":"Adjoint functors and triples","volume":"9","author":"Eilenberg","year":"1965","journal-title":"Illinois J. Math"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB4","unstructured":"P. Eklund, M.A. Gal\u00e1n, M. Ojeda-Aciego, A. Valverde, Set functors and generalised terms, Proc. IPMU 2000, 8th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference, vol. III, 2000, 1595\u20131599."},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"P. Eklund, M.A. Gal\u00e1n, J. Medina, M. Ojeda-Aciego, A. Valverde, A graphical approach to monad composition, Electronic Notes in Theoretical Computer Science 40 (2001). http:\/\/www.elsevier.nl\/locate\/entcs\/volume40.html","DOI":"10.1016\/S1571-0661(05)80041-6"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1016\/S0898-1221(01)00314-5","article-title":"Set functors, L-Fuzzy Set Categories, and Generalized Terms","volume":"43","author":"Eklund","year":"2002","journal-title":"Computers and Mathematics with Applications"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB7","doi-asserted-by":"crossref","first-page":"393","DOI":"10.3233\/FI-2000-41402","article-title":"Similarity-based unification","volume":"40","author":"Formato","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB8","series-title":"What is Unification? Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques","first-page":"217","author":"Goguen","year":"1989"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1090\/S0002-9939-1965-0177024-4","article-title":"Every standard construction is induced by a pair of adjoint functors","volume":"16","author":"Kleisli","year":"1965","journal-title":"Proc. Amer. Math. Soc"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB10","doi-asserted-by":"crossref","unstructured":"F. W. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University, 1963.","DOI":"10.1073\/pnas.50.5.869"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"key":"10.1016\/S1571-0661(04)80513-9_NEWBIB12","series-title":"Proc. Summer Workshop on Category Theory and Computer Programming 1985","first-page":"493","article-title":"A categorical unification algorithm","author":"Rydeheard","year":"1986"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805139?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805139?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:11:16Z","timestamp":1585897876000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":12,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104805139"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80513-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}