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
|