: P. Madden. The Lops Approach to Program Synthesis; A Comparison with NuPRL Discussion paper 397, DAI, January 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Specialization and Transformation of Constructive.. - Peter Madden Department (1989) (2 citations) Self-citation (Madden) (Correct)
No context found.
: P. Madden. The Lops Approach to Program Synthesis; A Comparison with NuPRL Discussion paper 397, DAI, January 1988.
The Specialization of Constructive Existence Proofs - Peter Madden October (1988) Self-citation (Madden) (Correct)
No context found.
: P. Madden. The Lops Approach to Program Synthesis; A Comparison with NuPRL Discussion paper 397, DAI, January 1988.
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