{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:32Z","timestamp":1725663692209},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569923"},{"type":"electronic","value":"9783540478904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:59:56Z","timestamp":1330239596000},"page":"216-230","source":"Crossref","is-referenced-by-count":7,"title":["On the completeness of narrowing as the operational semantics of functional logic programming"],"prefix":"10.1007","author":[{"given":"Juan Carlos","family":"Gonz\u00e1lez-Moreno","sequence":"first","affiliation":[]},{"given":"Mar\u00eda Teresa","family":"Hortal\u00e1-Gonz\u00e1lez","sequence":"additional","affiliation":[]},{"given":"Mario","family":"Rodr\u00edguez-Artalejo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01806313","volume":"2","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"H.A\u00eft-Kaci, R.Nasr: Integrating Logic and Functional Programming. In Lisp and Symbolic Computation, 2, 1989, pp. 51\u201389.","journal-title":"Lisp and Symbolic Computation"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"K.R.Apt: Logic Programming. In J.van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers, 1990, pp. 493\u2013574.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"M.Bellia, G.Levi: The Relation between Logic and Functional Languages: a Survey. In J. Logic Programming 3, 1986, pp. 217\u2013236.","journal-title":"J. Logic Programming"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"M.Bellia, P.G.Bosco, E.Giovannetti, G.Levi, C.Moiso, C.Palamidessi: A two-level approach to logic and functional programming. In Procs. PARLE '87, Springer Verlag, 1987, pp. 374\u2013393.","DOI":"10.1007\/3-540-17943-7_140"},{"key":"14_CR5","unstructured":"P.G. Bosco and E. Giovannetti: IDEAL: An Ideal Deductive Applicative Language. In Procs. 1986 Symp. on Logic Programming, IEEE Comp. Soc. Press, 1986, pp. 89\u201394."},{"key":"14_CR6","unstructured":"D. de Groot, G. Lindstrom (eds): Logic Programming: Functions, Relations and Equations, Prentice Hall, 1986."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"N.Dershowitz, J.P.Jouannaud: Rewrite Systems. In J. van Leeuwen (ed.), Hand-book of Theor. Comp. Sci., vol B, Elsevier Publishers, 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"issue":"2","key":"14_CR8","first-page":"139","volume":"42","author":"E. Giovannetti","year":"1992","unstructured":"E.Giovannetti, G.Levi, C. Moiso and C. Palamidessi: Kernel-LEAF: a Logic plus Functional Language. In JCSS, 42, 2, 1992, pp. 139\u2013185.","journal-title":"JCSS"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A.Goguen, J.W.Thatcher, E.G. Wagner, J.B. Wright: On Initial Algebra Semantics and Continuous Algebras. In J. ACM 24, 1, 1977, pp. 68\u201395.","journal-title":"J. ACM"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"J.C.Gonz\u00e1lez-Moreno, M.T.Hortal\u00e1-Gonz\u00e1lez, M.Rodr\u00edguez-Artalejo: Denotational Versus Declarative Semantics for Functional Programming. In Procs. CSL'91, Springer LNCS, 1992, pp. 134\u2013148.","DOI":"10.1007\/BFb0023763"},{"key":"14_CR11","first-page":"244","volume":"632","author":"A. Middeldorp","year":"1992","unstructured":"A.Middeldorp, E.Hamoen: Counterexamples to Completeness Results for Basic Narrowing. In Procs. ALP'92, Springer LNCS 632, 1992, pp. 244\u2013258","journal-title":"Procs. ALP'92, Springer LNCS"},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J.Moreno-Navarro & M.Rodr\u00edguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL. In J.Logic Programming 12, 1992, pp. 191\u2013223.","journal-title":"J.Logic Programming"},{"key":"14_CR13","unstructured":"G.Nadathur, D.Miller: An overview of \u03bb-PROLOG. In Procs. ICLP'88, the MIT Press, 1988, pp. 810\u2013827."},{"key":"14_CR14","first-page":"577","volume":"140","author":"D.S. Scott","year":"1982","unstructured":"D.S.Scott: Domains for denotational semantics. In Procs. ICALP'82, Springer LNCS 140, 1982, pp. 577\u2013613.","journal-title":"Procs. ICALP'82, Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:52Z","timestamp":1605629272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56992-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56992-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}