|
Edinburgh Research Archive >
Browsing by Author Johansson, Moa
Showing results 1 to 5 of 5
| 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 | - |
Showing results 1 to 5 of 5
|
