Search the dblp DataBase

Publications of Author

1. Moa Johansson, Alan Bundy, Lucas Dixon
   Best-First Rippling. [Citation Graph (0, 0)][DBLP]
   Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:83-100 [Conf]
   
2. Lucas Dixon, Jacques D. Fleuriot
   IsaPlanner: A Prototype Proof Planner in Isabelle. [Citation Graph (0, 0)][DBLP]
   CADE, 2003, pp:279-283 [Conf]
   
3. Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon
   Deductive synthesis of workflows for e-Science. [Citation Graph (0, 0)][DBLP]
   CCGRID, 2005, pp:168-175 [Conf]
   
4. Lucas Dixon, Jacques D. Fleuriot
   Higher Order Rippling in IsaPlanner. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2004, pp:83-98 [Conf]
   
5. Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
   Constructing Induction Rules for Deductive Synthesis Proofs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:3-21 [Journal]
   
6. Lucas Dixon, Jacques D. Fleuriot
   A proof-centric approach to mathematical assistants. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:505-532 [Journal]
   
7. 
   Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. [Citation Graph (, )][DBLP]
   
   
8. 
   Case-Analysis for Rippling and Inductive Proof. [Citation Graph (, )][DBLP]
   
   
9. 
   Graphical reasoning in compact closed categories for quantum computation. [Citation Graph (, )][DBLP]
   
   
10. 
    Graphical Reasoning in Compact Closed Categories for Quantum Computation [Citation Graph (, )][DBLP]
    
    
11. 
    Open Graphs and Computational Reasoning [Citation Graph (, )][DBLP]