|
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
|
| Higher-Order Annotated Terms for Proof Search
|
| PP1056
| 1996 Paper in Conference Proceedings
| Smaill,AD; Green,I
|
| Higher-Order 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
| Monroy-Borja,R; Bundy,A; Green,I
|
| Observant: an Annotated Term-Rewriting 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
|
| Higher-Order 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
|
![[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}