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.
|
| Chapter in Edited Book
|
CB425
| 1991 Chapter in Edited Book
| Basin,D; Kaufmann,M
|
| the Boyer-Moore Prover and NUPRL: An Experimental Comparison
|
| Journal Paper
|
JP1061
| 1996 Journal Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
| Paper in Conference Proceedings
|
PP1055
| 1996 Paper in Conference Proceedings
| Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification using Inductive Proof Planning
|
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
|
PP116
| 1993 Paper in Conference Proceedings
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
PP197
| 1993 Paper in Conference Proceedings
| Kraan,I; Bundy,A; Basin,D
|
| Logic Program Synthesis from Proof Planning
|
PP611
| 1993 Paper in Conference Proceedings
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| a Framework for Program Development Based on Schematic Proof
|
PP612
| 1993 Paper in Conference Proceedings
| Kraan,I; Basin,D; Bundy,A
|
| Middle-out Reasoning for Logic Program Syntehsis
|
PP115
| 1992 Paper in Conference Proceedings
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
PP117
| 1992 Paper in Conference Proceedings
| Basin,D; Smaill,AD; Matthews,S
|
| Experience with FSo as a Framework Theory
|
PP118
| 1992 Paper in Conference Proceedings
| Basin,D; Walsh,T
|
| Difference Matching
|
PP237
| 1992 Paper in Conference Proceedings
| Bundy,A; Frank,I; Basin,D
|
| An Adaption of Proof Planning to Declarer Play in Bridge
|
PP7
| 1991 Paper in Conference Proceedings
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Lof's Type Theory and Applications
|
PP8
| 1991 Paper in Conference Proceedings
| Basin,D; Traverso,P; Giunchiglia,F
|
| Automatic Meta-Theory Creation and System Extension
|
PP424
| 1990 Paper in Conference Proceedings
| Basin,D
|
| Equality of Terms Containing Associative Commutative Functions and Commutative Binding Operators is Isomorphism Complete
|
| Research Paper
|
RP780
| 1996 Research Paper
| Frank,I; Basin,D
|
| Search in Games with Incomplete Information: a Case Study Using Bridge Card Play
|
RP828
| 1996 Research Paper
| ,; Bundy,A; Smaill,AD; Basin,D
|
| Experiments in Automating Hardware Verification Using Inductive Proof Planning
|
RP729
| 1995 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
RP779
| 1995 Research Paper
| Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
|
| Coloured Rippling: an Extension of a Theorem Proving Heuristic
|
RP638
| 1993 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Logic Program Synthesis
|
RP654
| 1993 Research Paper
| Basin,D; Bundy,A; Kraan,I; Matthews,S
|
| A Framework for Program Development Based on Schematic Proof
|
RP575
| 1992 Research Paper
| Frank,I; Basin,D; Bundy,A
|
| An Adaptation of Proof-Planning to Declarer Play in Bridge
|
RP603
| 1992 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Logic Program Synthesis Via Proof Planning
|
RP518
| 1991 Research Paper
| Barnett,R; Basin,D; Hesketh,J
|
| A Recursion Planning Analysis of Inductive Completion
|
RP525
| 1991 Research Paper
| Basin,D; Kaufmann,M
|
| The Boyeer-Moore Prover and Nuprl: an Experimental Comparison
|
RP533
| 1991 Research Paper
| Basin,D
|
| Extracting Circuits from Constructive Proofs
|
RP535
| 1991 Research Paper
| Basin,D; Howe,D
|
| Some Normalization Properties of Martin-Loef'S Type Theory, and Applications
|
RP543
| 1991 Research Paper
| Basin,D; Giunchiglia,F; Traverso,P
|
| Automating Meta-Theory Creation and System Extension
|
RP544
| 1991 Research Paper
| Matthews,S; Smaill,AD; Basin,D
|
| Experience with Fso as a Framework Theory
|
RP555
| 1991 Research Paper
| Basin,D; Constable,R
|
| Metalogical Frameworks
|
RP556
| 1991 Research Paper
| Basin,D; Walsh,T
|
| Difference Matching
|