Author:
González-Moreno J. C.,Hortalá-González M. T.,López-Fraguas F. J.,Rodríguez-Artalejo M.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Proc. 21st ACM Symp. on Princ. of Prog. Lang., Portland, pp. 268–279, 1994.
2. P. Arenas-Sánchez and A. Gil-Luezas. BabLog User's Manual. Tech. Rep. DIA 94/12, 1994.
3. N. Dershowitz and Z. Manna: Proving Termination with Multiset Orderings. Comm. of the ACM 22(8), 1979, 465–476.
4. M. Falaschi, G. Levi, M. Martelli and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 102(1), pp. 86–113, 1993.
5. E. Giovannetti, G. Levi, C. Moiso and C. Palamidessi. Kernel-LEAF: A Logic plus Functional Language. JCSS 42 (2), pp. 139–185, 1991.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献