Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic

L. Dixon, A. Smaill, Alan Bundy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results