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

Documents Authored by: Andrew Ireland

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.

Journal Paper

JP1060 1996 Journal Paper Ireland,A; Bundy,A
Productive Use of Failure in ......Proof
JP128 1993 Journal Paper Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
Rippling: a Heuristic for Guiding Inductive Proofs
JP335 1993 Journal Paper Bundy,A; Stevens,A; van Harmelen,F; Ireland,A; Smaill,AD
Rippling: a Heuristic for Guiding Inductive Proofs
JP677 1993 Journal Paper Ireland,A
On Exploiting the Structure of Martin-Lofs Theory of Types

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
PP610 1993 Paper in Conference Proceedings Manning,H; Ireland,A; Bundy,A
Increasing the Versatility of Heuristic Based Theorem Provers
PP113 1992 Paper in Conference Proceedings Baker,S; Ireland,A; Smaill,AD
On the Use of the Constructive Omega-Rule within Automated Deduction
PP148 1992 Paper in Conference Proceedings Ireland,A
the Use of Planning Critics in Mechanizing Inductive Proof
PP454 1990 Paper in Conference Proceedings Bundy,A; van Harmelen,F; Smaill,AD; Ireland,A
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

Research Paper

RP884 1998 Research Paper Ireland,A; Bundy,A
Automatic Verification of Functions with Accumulating Parameters
RP781 1996 Research Paper Monroy-Borja,R; Bundy,A; Ireland,A; Hesketh,J
Proof Planning the Verification of Ccs Programs
RP786 1996 Research Paper Ireland,A; Bundy,A
Extensions to a Generalization Critic for Inductive Proof
RP681 1994 Research Paper Monroy-Borja,R; Bundy,A; Ireland,A
Proof Plans for the Correction of False Conjectures
RP716 1994 Research Paper Ireland,A; Bundy,A
Productive Use of Failure in Inductive Proof
RP633 1993 Research Paper Manning,AJ; Ireland,A; Bundy,A
Increasing the Versatility of Heuristic Based Theorem Provers
RP592 1992 Research Paper Ireland,A
The Use of Planning Critics in Mechanizing Inductive Proofs
RP613 1992 Research Paper Ireland,A; Bundy,A
Using Failure to Guide Inductive Proof
RP560 1991 Research Paper Baker,S; Ireland,A; Smaill,AD
On the Use of the Constructive Omega-Rule Within Automated Deduction
RP564 1991 Research Paper Ireland,A
On Exploiting the Structure of Martin-Loef'S Theory of Types

[Search These Pages] [DAI Home Page] [Comment]