Lucas Dixon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Open graphs and computational reasoning (available as arXiv preprint)	2021-02-16	Paper
Open graphs and computational reasoning	2021-02-16	Paper
Open-graphs and monoidal theories Mathematical Structures in Computer Science	2013-04-29	Paper
Conjecture synthesis for inductive theories Journal of Automated Reasoning	2012-07-31	Paper
Towards Formal Proof Script Refactoring Lecture Notes in Computer Science	2011-07-29	Paper
Dynamic rippling, middle-out reasoning and lemma discovery Verification, Induction, Termination Analysis	2010-11-22	Paper
Case-analysis for rippling and inductive proof Interactive Theorem Proving	2010-09-14	Paper
Graphical reasoning in compact closed categories for quantum computation Annals of Mathematics and Artificial Intelligence	2009-12-11	Paper
Plans, actions and dialogues using linear logic Journal of Logic, Language and Information	2009-05-04	Paper
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lecture Notes in Computer Science	2009-01-27	Paper
A proof-centric approach to mathematical assistants Journal of Applied Logic	2007-02-20	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2005-08-18	Paper

Research outcomes over time

This page was built for person: Lucas Dixon