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

Documents on: automated deduction

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] [DAI Home Page] [Comment]