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

Documents Authored by: Santiago Negrete-Yankelevich

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Discussion Paper

DP116 1992 Discussion Paper Negrete-Yankelevich,S
Generic Tactics and Proof Plans - Thesis Proposal

Research Paper

RP750 1995 Research Paper Negrete-Yankelevich,S; Smaill,AD
Guiding Proof Search in Logical Frameworks with Rippling
RP661 1993 Research Paper Negrete-Yankelevich,S
Proof Plans and Automatic Theorem Proving with Hints (Paper in Spanish)

Technical Paper

TP8 1992 Technical Paper Negrete-Yankelevich,S
Hint Mechanism for Clam

Working Paper

WP255 1994 Working Paper Negrete-Yankelevich,S
Some Examples of Proof Planning in Logical Frameworks

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