Author:
Comini Marco,Levi Giorgio,Meo Maria Chiara
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference52 articles.
1. Properties of the lattice of observables in logic programming;Amato,1997
2. Introduction to logic programming;Apt,1990
3. Boolean functions for dependency analysis: Algebraic properties and efficient representation;Armstrong,1994
4. A general framework for semantics-based bottom-up abstract interpretation of logic programs;Barbuti;ACM Trans. Programming Languages and Systems,1993
5. The s-semantics approach: Theory and applications;Bossi;J. Logic Programming,1994
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献