Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic (2009)

First Author: Dixon, L
Attributed to:  The Integration and Interaction of Multiple Mathematical Reasoning Processes. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www-vvps09.imag.fr/VVPS-papers-4-web/vvps09_7.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: n/a

Parent Publication: Workshop on Verification and Validation of Planning and Scheduling Systems: ICALP 2009