|
|
Edinburgh Research Archive >
Browsing by Author Dixon, Lucas
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | Supervisor(s) | | 2010 | Case-Analysis for Rippling and Inductive Proof | Bundy, Alan; Dixon, Lucas; Johansson, Moa | - |
| 2010 | Conjecture Synthesis for Inductive Theories | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 2010 | Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 2010 | Formalising Term Synthesis for Isacosy | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 2009 | Isacosy: Synthesis of Inductive Theorems | Dixon, Lucas; Bundy, Alan; Johansson, Moa | - |
| 2010 | Open Graphs and Computational Reasoning | Dixon, Lucas; Ross, Duncan; Aleks, Kissinger | - |
| Jun-2006 | A Proof Planning Framework For Isabelle | Dixon, Lucas | Fleuriot, Jacques |
| 25-Jun-2012 | Scheme-based theorem discovery and concept invention | Montano-Rivas, Omar | McCasland, Roy; Bundy, Alan; Dixon, Lucas |
| 3-Feb-2011 | A Small Experiement in Event-b Rippling | Grov, Gudmund,; Bundy, Alan; Dixon, Lucas | - |
Showing results 1 to 9 of 9
|
