Lucas Dixon

From MaRDI portal
Person:438541

Available identifiers

zbMath Open dixon.lucasWikidataQ55868131 ScholiaQ55868131MaRDI QIDQ438541

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51510292021-02-16Paper
Open-graphs and monoidal theories2013-04-29Paper
Conjecture synthesis for inductive theories2012-07-31Paper
Towards Formal Proof Script Refactoring2011-07-29Paper
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery2010-11-22Paper
Case-Analysis for Rippling and Inductive Proof2010-09-14Paper
Graphical reasoning in compact closed categories for quantum computation2009-12-11Paper
Plans, actions and dialogues using linear logic2009-05-04Paper
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation2009-01-27Paper
A proof-centric approach to mathematical assistants2007-02-20Paper
Theorem Proving in Higher Order Logics2005-08-18Paper

Research outcomes over time

This page was built for person: Lucas Dixon

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:438541&oldid=7035595"
Powered by MediaWiki