Author:
Gori Roberta,Levi Giorgio
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference28 articles.
1. K.R. Apt, Introduction to logic programming, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics, Elsevier, The MIT Press, Amsterdam, Cambridge, MA, 1190, pp. 495–574.
2. Reasoning about Prolog programs;Apt;Formal Aspects Comput.,1994
3. Contributions to the theory of logic programming;Apt;J. ACM,1982
4. A. Bossi, N. Cocco, Verifying correctness of logic programs, in: J. Diaz, F. Orejas (Eds.), Proceedings of the TAPSOFT’89, Lecture Notes in Computer Science, vol. 352, Springer, Berlin, 1989, pp. 96–110.
5. The s-semantics approach;Bossi;J. Logic Programming,1994
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献