Author:
Ganzinger Harald,McAllester David
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Weidong Chen and David S. Warren. Tabled evaluation with delaying for general logic programs. Journal of the ACM, 43(1):20–74, 1996.
2. Lect Notes Comput Sci;H. Ganzinger,2001
3. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Robert A. Kowalski and Kenneth Bowen, editors, Proceedings of the Fifth International Conference on Logic Programming, pages 1070–1080, Cambridge, Massachusetts, 1988. The MIT Press.
4. Kolaitis. The expressive power of stratified logic programs. INFCTRL: Information and Computation (formerly Information and Control), 90, 1991.
5. David McAllester. The complexity analysis of static analyses. In Symposium on Static Analysis. Springer Verlag, 1999.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
2. Datafun: a functional Datalog;ACM SIGPLAN Notices;2016-12-05
3. The Deductive Spreadsheet;Cognitive Technologies;2013
4. The Deductive Spreadsheet;Cognitive Technologies;2013
5. Automatic decidability and combinability;Information and Computation;2011-07