Division of Informatics
Forrest Hill & 80 South Bridge
|
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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}