The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents on: pruning

PP411 1989 Paper in Conference Proceedings Madden,P
the Specialization and Transformation of Constructive Existence Proofs


[Search These Pages] [DAI Home Page] [Comment]