|
|
Edinburgh Research Archive >
Browsing by Author Green, Ian
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1999 | Automating Diagrammatic Proofs of Arithmetic Arguments | Jamnik, Mateja | Bundy, Alan; Green, Ian |
| 1997 | Automation of Diagrammatic Reasoning | Jamnik, Mateja; Bundy, Alan; Green, Ian | - |
| 1994 | Coloured rippling: An extension of a theorem proving heuristic | Yoshida, Tetsuya; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David | - |
| Jul-2004 | The Dynamic Creation of Induction Rules Using Proof Planning | Gow, Jeremy | Bundy, Alan; Green, Ian; Fleuriot, Jacques |
| 1993 | A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract) | Madden, P.; Bundy, Alan; Hesketh, Jane; Green, Ian | - |
| 1999 | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | Dennis, Louise; Bundy, Alan; Green, Ian | - |
| Jun-2009 | On Process Equivalence = Equation Solving in CCS | Bundy, Alan; Monroy, Raul; Green, Ian | - |
| Jul-1997 | Planning Proofs of Correctness of CCS Systems | Monroy-Borja, Raul | Bundy, Alan; Hesketh, Jane; Green, Ian; Ireland, Andrew |
| Jul-1998 | Proof Planning Coinduction | Dennis, Louise | Bundy, Alan; Green, Ian |
Showing results 1 to 9 of 9
|
