|
Edinburgh Research Archive
|
|
|
|
Edinburgh Research Archive >
Browsing by Author Smaill, Alan
Showing results 1 to 10 of 10
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1992 | An Algebraic Semantics of Prolog Control | Ross, Brian James | Smaill, Alan |
| Jun-2005 | Automated Reasoning in Quantified Modal and Temporal Logics | Castellini, Claudio | Smaill, Alan |
| 26-Jun-2007 | A Computational Model of Lakatos-style Reasoning | Pease, Alison | Smaill, Alan; Colton, Simon; Lee, John |
| 2001 | Deductive synthesis of recursive plans in linear logic | Creswell, Stephen N | Smaill, Alan; Richardson, Julian |
| 1996 | Experiments in Automating Hardware Verification using Inductive Proof Planning | Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David | - |
| 2008 | Musical Acts and Musical Agents: theory, implementation and practice | Murray-Rust, David | Smaill, Alan |
| Jul-1997 | Proof Planning for Automating Hardware Verification | Cantu-Ortiz, Francisco Javier | Bundy, Alan; Smaill, Alan; Basin, David |
| Nov-2006 | Sequent calculus proof systems for inductive definitions | Brotherston, James | Simpson, Alex K; Smaill, Alan; Momigliano, Alberto |
| 30-Jun-2011 | Supporting dependently typed functional programming with proof automation and testing | Wilson, Sean | Fleuriot, Jacques; Smaill, Alan |
| 2004 | Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis | Maclean, Ewen | Fleuriot, Jacques; Smaill, Alan |
Showing results 1 to 10 of 10
|
