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.

 Informatics Series Report

0004
 1999 Informatics Series Report
 Dennis,L; Bundy,A; Green,I

 Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts

 Paper in Conference Proceedings

PP1195
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Reasoning

PP1201
 1997 Paper in Conference Proceedings
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Proofs in Mathematics

PP1202
 1997 Paper in Conference Proceedings
 Janicic,; Green,I; Bundy,A

 A Comparison of decision procedures in Presburger arithmetic

PP1039
 1996 Paper in Conference Proceedings
 Smaill,AD; Green,I

 HigherOrder Annotated Terms for Proof Search

PP1056
 1996 Paper in Conference Proceedings
 Smaill,AD; Green,I

 HigherOrder Annotated Terms for Proof Search

PP742
 1994 Paper in Conference Proceedings
 Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A

 Coloured Rippling: An Extension of a Theorem Proving Heuristic

PP616
 1993 Paper in Conference Proceedings
 Madden,P; Hesketh,J; Green,I; Bundy,A

 a General Technique for Automatically Optimizing Programs through the Use of Proof Plans

 Research Paper

RP905
 1998 Research Paper
 MonroyBorja,R; Bundy,A; Green,I

 Observant: an Annotated TermRewriting System for Deciding Observation Congruence

RP910
 1998 Research Paper
 Jamnik,M; Bundy,A; Green,I

 On Automating Diagrammatic Proofs of Arithmetic Arguments

RP924
 1998 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Verification of Diagrammatic Proofs

RP872
 1997 Research Paper
 Janicic,P; Green,I; Bundy,A

 A Comparison of Decision Procedures in Presburger Arithmetic

RP873
 1997 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Reasoning

RP799
 1996 Research Paper
 Smaill,AD; Green,I

 HigherOrder Annotated Terms for Proof Search

RP834
 1996 Research Paper
 Dennis,L; Bundy,A; Green,I

 Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs

RP835
 1996 Research Paper
 Jamnik,M; Bundy,A; Green,I

 Automation of Diagrammatic Proofs in Mathematics

RP836
 1996 Research Paper
 Bundy,A; Green,I

 An Experimental Comparison of Rippling and Exhaustive Rewriting

RP777
 1995 Research Paper
 Smaill,AD; Green,I

 Automating the Synthesis of Functional Programs in Constructive Type Theory

RP779
 1995 Research Paper
 Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D

 Coloured Rippling: an Extension of a Theorem Proving Heuristic

RP608
 1992 Research Paper
 Madden,P; Hesketh,J; Green,I; Bundy,A

 A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans



RP953
 1999
 Bundy,A; Gow,JI; Green,I

 Extensions to the Estimation Calculus
