|
Edinburgh Research Archive >
Browsing by Author Richardson, Julian
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Supervisor(s) | | 2001 | Deductive synthesis of recursive plans in linear logic | Creswell, Stephen N | Smaill, Alan; Richardson, Julian |
| Sep-1999 | Proofs About Lists Using Ellipsis | Bundy, Alan; Richardson, Julian | - |
| Jul-2000 | Using Expressive and Flexible Action Representations to Reason about Capabilties for Intelligent Agent Cooperation | Wickler, Gerhard | Tate, Austin; Bundy, Alan; Pryor, Louise; Richardson, Julian; Drabble, Brian |
Showing results 1 to 3 of 3
|
