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 | ||
| DP145 | 1994 Discussion Paper | Monroy-Borja,R |
|---|---|---|
| Inductive Proof Plans for the Correction of Faulty Software Specifications, Thesis Proposal | ||
MSc Thesis | ||
| MT93126 | 1993 MSc Thesis | Monroy-Borja,R |
| The Use of Abduction to Correct Faulty Conjectures | ||
Paper in Conference Proceedings | ||
| PP718 | 1994 Paper in Conference Proceedings | Monroy-Borja,R; Bundy,A; Ireland,A |
| Proof Plans for the Correction of False Conjectures | ||
Research Paper | ||
| RP905 | 1998 Research Paper | Monroy-Borja,R; Bundy,A; Green,I |
| Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence | ||
| RP781 | 1996 Research Paper | Monroy-Borja,R; Bundy,A; Ireland,A; Hesketh,J |
| Proof Planning the Verification of Ccs Programs | ||
| RP681 | 1994 Research Paper | Monroy-Borja,R; Bundy,A; Ireland,A |
| Proof Plans for the Correction of False Conjectures | ||
Working Paper | ||
| WP254 | 1994 Working Paper | Monroy-Borja,R |
| Abduction Mechanisms | ||
![[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}