Division of Informatics
Forrest Hill & 80 South Bridge
| PP235 | 1992 Paper in Conference Proceedings | Bundy,A; Hesketh,J; Smaill,AD |
|---|---|---|
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones | ||
| CB234 | 1992 Chapter in Edited Book | Bundy,A |
| Tutorial Notes: Reasoning about Logic Programs | ||
| PP113 | 1992 Paper in Conference Proceedings | Baker,S; Ireland,A; Smaill,AD |
| On the Use of the Constructive Omega-Rule within Automated Deduction | ||
![[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}