| | 1999 | Madden, Peter
[Bundy, Alan]
[Smaill, Alan] | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | Journal Article | |
| | 1996 | [Cantu, Francisco]
[Bundy, Alan]
[Smaill, Alan]
Basin, David A. | | Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108 | Proceedings Article | |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | Middle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145 | Part of a Book | |
| | 1996 | [Kraan, Ina]
Basin, David A.
[Bundy, Alan] | | Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145 | Journal Article | |
| | 1994 | [Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A. | | Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article | |
| | 1993 | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Logic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Proceedings Article | |
| | 1993 | Kraan, Ina
Basin, David A.
Bundy, Alan | | Middle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Proceedings Article | |
3 |
| Bürckert, Hans-Jürgen (ed.) |
| |
1 |
| Buttazzo, Giorgio C. (ed.) |
| |
2 |
| Carlucci-Aiello, Luigia (ed.) |
| |
1 |
| Cassandras, Christos (ed.) |
| |