|
|
Edinburgh Research Archive >
Search Results
Results 61-70 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | Jun-2009 | On Process Equivalence = Equation Solving in CCS | Bundy, Alan; Monroy, Raul; Green, Ian | - |
| Jul-1999 | Automating Diagrammatic Proofs of Arithmetic Arguments | Jamnik, Mateja | Bundy, Alan; Green, Ian |
| 1999 | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | Dennis, Louise; Bundy, Alan; Green, Ian | - |
| Jul-2004 | The Dynamic Creation of Induction Rules Using Proof Planning | Gow, Jeremy | Bundy, Alan; Green, Ian; Fleuriot, Jacques |
| Jul-1989 | The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface | Robertson, D.; Uschold, M.; Bundy, Alan; Muetzelfeldt, R. | - |
| Oct-1994 | A Subsumption Architecture for Theorem Proving? | Bundy, Alan; Dennett, D. | - |
| Jun-1994 | A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence | Bundy, Alan; Liu, W. | - |
| Dec-1996 | Calculating Criticalities | Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. | - |
| 1993 | A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract) | Madden, P.; Bundy, Alan; Hesketh, Jane; Green, Ian | - |
| Jul-1989 | The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling | Bundy, Alan; Muetzelfeldt, R.; Robertson, D.; Uschold, M. | - |
previous
1
2
3
4
5
6
7
8
next
|
