|
Edinburgh Research Archive >
Browsing by Author Alan, Bundy
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Supervisor(s) | | Dec-1996 | Calculating Criticalities | Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. | - |
| 1996 | Computing Abstraction Hierarchies by Numerical Simulation | Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. | - |
| May-2005 | Deductive Synthesis of Workflows for E-Science | Alan, Bundy; Yang, B.; Smaill, A.; Dixon, L. | - |
| 1998 | System Description: an Interface Between CLAM and HOL | Alan, Bundy; Slind, K.; Gordon, M.; Boulton, R. | - |
Showing results 1 to 4 of 4
|
