{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:26:19Z","timestamp":1737523579419,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_2","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"15-31","source":"Crossref","is-referenced-by-count":2,"title":["Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings"],"prefix":"10.1007","author":[{"given":"R. N.","family":"Banerjee","sequence":"first","affiliation":[]},{"given":"A.","family":"Bujosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Frank W. Anderson, Kent R. Fuller Rings and Categories of Modules Springer-Verlag, 1992","DOI":"10.1007\/978-1-4612-4418-9"},{"issue":"1","key":"2_CR2","first-page":"167","volume":"40","author":"F. Arriaga","year":"1994","unstructured":"F. Arriaga, A. Bujosa, R. Criado A constructive definition of the space of infinite p-trees, Math. Japonica Vol 40, No 1 (1994), pp. 167\u2013172","journal-title":"Math. Japonica"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"F. Baader and W. Snyder Unification Theory in \u201cHandbook of Automated Reasoning\u201d A. Robinson and A. Voronkov, Editors, Elsevier Sci. Publishers B.V., 2001","DOI":"10.1016\/B978-044450813-3\/50010-2"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"R. N. Banerjee and A. Bujosa Syntactic Unification Concepts in Free Modules over Certain kind of Rings, submitted to \u201cLogic Programming for Artificial Intelligence and Information Systems\u201d, EPIA 2001.","DOI":"10.1007\/3-540-45758-5_2"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Donald W. Barnes, John M. Mack An Algebraic Introduction to Mathematical Logic Springer-Verlag, 1975","DOI":"10.1007\/978-1-4757-4489-7"},{"key":"2_CR6","volume-title":"\u00c9l\u00e9ments de Math\u00e9matique: Alg\u00e8bre I, Chapitres 1 \u00e0 3","author":"N. Bourbaki","year":"1970","unstructured":"N. Bourbaki \u00c9l\u00e9ments de Math\u00e9matique: Alg\u00e8bre I, Chapitres 1 \u00e0 3 Hermann, Paris (1970)"},{"issue":"1","key":"2_CR7","first-page":"153","volume":"42","author":"A. Bujosa","year":"1995","unstructured":"A. Bujosa, R. Criado p-Tangles: A ring with identity which contains the space of infinite p-trees, Math. Japonica Vol 42, No 1 (1995), pp. 153\u2013163","journal-title":"Math. Japonica"},{"issue":"1","key":"2_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1996-25104","volume":"25","author":"A. Bujosa","year":"1996","unstructured":"A. Bujosa, R. Criado Syntactic elements of declarative programming: Symbolic linear equations, Fund. Informaticae Vol 25, No.1 (1996), pp. 39\u201348","journal-title":"Fund. Informaticae"},{"issue":"2","key":"2_CR9","first-page":"369","volume":"43","author":"A. Bujosa","year":"1996","unstructured":"A. Bujosa, R. Criado A linear dependence condition which characterizes the p-trees Math. Japonica Vol 43, No.2 (1996), pp.369\u2013376","journal-title":"Math. Japonica"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/FI-1997-323403","volume":"32","author":"A. Bujosa","year":"1997","unstructured":"A. Bujosa, R. Criado and M. A. Hern\u00e1ndez Unification: Nothing but the Solution of a System Of Linear Equations Fund. Informaticae Vol 32, (1997), pp. 267\u2013280","journal-title":"Fund. Informaticae"},{"key":"2_CR11","unstructured":"W. Fulton Curvas Algebraicas, Introducci\u00f3n a la geometr\u00eda algebraica, Ed. Revert\u00e9 (1971)."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hungerford Algebra, Graduate Texts in Mathematics. Springer Verlag, 1974","DOI":"10.1007\/978-1-4612-6101-8_8"},{"key":"2_CR13","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1987","unstructured":"J.-L. Lassez, M. Maher and K. Marriot Unification Revisited in \u201cFoundations of Deductive Databases and Logic Programming\u201d, J. Minker Editor, Morgan Kaufman, Los Altos, California, 1987"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"M. J. Maher Complete Axiomatisations of the Algebras of finite, Rational, and Infinite Trees L.I.C.S. 1988, pp. 348\u2013357","DOI":"10.1109\/LICS.1988.5132"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"B. I. Plotkin Universal Algebra, Algebraic Logic and Databases Kluwer Academic Publishers (1994)","DOI":"10.1007\/978-94-011-0820-1"},{"key":"2_CR16","unstructured":"L. S. Pontriaguin Grupos Continuos Ed. Mir, Mosc\u00fa (1978)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:26:52Z","timestamp":1737498412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}