Author:
Apt Krzysztof R.,Gabbrielli Maurizio,Pedreschi Dino
Reference22 articles.
1. Program Verification and Prolog;Apt,1995
2. Declarative Interpretations Reconsidered;Apt,1994
3. Reasoning about Prolog Programs: From Modes through Types to Assertions;Apt;Formal Aspects of Computing,1994
4. Reasoning about Termination of Pure Prolog Programs;Apt;Inform. and Comput.,1993
5. Contributions to the Theory of Logic Programming;Apt;J. ACM,1982
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献