Author:
Serebrenik Alexander,De Schreye Danny
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. K.R. Apt. From Logic Programming to Prolog. Prentice-Hall Int. Series in Computer Science. Prentice Hall, 1997.
2. K.R. Apt, E. Marchiori, and C. Palamidessi. A declarative approach for first order built-in’s in prolog. Applicable Algebra in Engineering, Communication and Computation, 5(3/4):159–191, 1994.
3. Lect Notes Comput Sci;A. Bossi,1994
4. Lect Notes Comput Sci;L. Colussi,1995
5. D. De Schreye, K. Verschaetse, and M. Bruynooghe. A framework for analyzing the termination of definite logic programs with respect to call patterns. In I. Sta., editor, Proc. of the Int. Conf. on Fifth Generation Computer Systems., pages 481–488. IOS Press, 1992.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献