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


Documents Authored by: David Basin

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


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