Author:
González-Moreno Juan Carlos,Hortalá-González María Teresa,Rodríguez-Artalejo Mario
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. H.Aït-Kaci, R.Nasr: Integrating Logic and Functional Programming. In Lisp and Symbolic Computation, 2, 1989, pp. 51–89.
2. K.R.Apt: Logic Programming. In J.van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier Science Publishers, 1990, pp. 493–574.
3. M.Bellia, G.Levi: The Relation between Logic and Functional Languages: a Survey. In J. Logic Programming 3, 1986, pp. 217–236.
4. 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–393.
5. 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–94.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献