Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

L. Dixon, A. Smaill, Alan Bundy

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Finished

2 results

Finished

Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research
Application of deductive synthesis techniques to the rapid assembly of grid applications
Bundy, A.
EPSRC
1/01/03 → 28/02/06
Project: Research