David Pym. Proofs, Search and Computation in General Logic. PhD thesis, University of Edinburgh, 1990. Available as CST-69-90, also published as ECS-LFCS-90-125. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Logic Programming in the LF Logical Framework - Pfenning (1991) (138 citations) (Correct)
Modularity in the LF Logical Framework - Harper, Pfenning (1991) (Correct)
Unification and Anti-Unification in the Calculus of Constructions - Pfenning (1991) (31 citations) (Correct)
Implementing the Meta-Theory of Deductive Systems - Pfenning, Rohwedder (1992) (20 citations) (Correct)
The Practice of Logical Frameworks - Frank Pfenning (1996) (15 citations) (Correct)
Unification and Anti-Unification in the Calculus of.. - Frank Pfenning School (1991) (31 citations) (Correct)
Compilation - The Model Of (Correct)
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