Division of Informatics
Forrest Hill & 80 South Bridge
| RP654 | 1993 Research Paper | Basin,D; Bundy,A; Kraan,I; Matthews,S |
|---|---|---|
| A Framework for Program Development Based on Schematic Proof | ||
| PP197 | 1993 Paper in Conference Proceedings | Kraan,I; Bundy,A; Basin,D |
| Logic Program Synthesis from Proof Planning | ||
| PP115 | 1992 Paper in Conference Proceedings | Basin,D |
| Extracting Circuits from Constructive Proofs | ||
| RP923 | 1998 Research Paper | Castro,A; Robertson,DS; Muetzelfeldt,R |
| Domain-specific synthesis of simulation models | ||
| CB440 | 1990 Chapter in Edited Book | Bundy,A; Smaill,AD; Wiggins,G |
| the Synthesis of Logic Programs from Inductive Proofs | ||
![[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}