Informatics Report Series


Lucas Dixon

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1394 2010 Open Graphs and Monoidal Theories
EDI-INF-RR-1378 2010 Properties of IsaCoSy's Constraint Generation Algorithm
EDI-INF-RR-1326 2009 Case-Analysis for Rippling and Inductive Proof
EDI-INF-RR-1303 2008 Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
EDI-INF-RR-1302 2007 IsaPlanner 2: A Proof Planner in Isabelle
EDI-INF-RR-1301 2008 Graphical Reasoning in Compact Closed Categories for Quantum Computation
EDI-INF-RR-1300 2009 Plans, Actions and Dialogue using Linear Logic
EDI-INF-RR-0892 2005 Interactive and Hierarchical Tracing of Techniques in IsaPlanner
EDI-INF-RR-0849 Aug 2006 Best-First Rippling
EDI-INF-RR-0786 2006 Planning as Deductive Synthesis in Intuitionistic Linear Logic
EDI-INF-RR-0492 2004 Higher Order Rippling in IsaPlanner
EDI-INF-RR-0491 2005 Constructing Induction Rules for Deductive Synthesis Proofs
EDI-INF-RR-0484 2005 A Proof-Centric Approach to mathematical assistants
EDI-INF-RR-0483 Jul 2003 IsaPlanner: A Prototype Proof Planner in Isabelle

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh