MRG home page · Research · Publications · Projects · Software · People

Literature Survey: Deductive Synthesis of Grid Workflows for e-Science

Foundations

Formalisations of Linear Logic in Proof Assistants

Linear Logic for Planning

Theoretically Relevant

Tools

Efficiency Techniques in Intuitionistic Linear Logic

Deductive Synthesis of E-Science-like things

Links

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the Lucas Dixon
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.