P. M. Hill and F. Spoto. Analysis of Downward Closed Properties of Logic Programs. In T. Rus, editor, Proc. of the International Conference on Algebraic Methodology and Software Technology, AMAST 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Generalising Def and Pos to Type Analysis - Hill, Spoto (2002) (1 citation) Self-citation (Hill Spoto) (Correct)
No context found.
P. M. Hill and F. Spoto. Analysis of Downward Closed Properties of Logic Programs. In T. Rus, editor, Proc. of the International Conference on Algebraic Methodology and Software Technology, AMAST 2000.
Semantic-Based Software Support for Constraint Logic Programs - Hill (Correct)
No context found.
P.M. Hill and F. Spoto. Analysis of Downward Closed Properties of Logic Programs. In Proc. of the Int. Conf. on Algebraic Methodology and Software Technology, AMAST'2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC