Monoidal Theories and Graph Rewriting in Quantum Computing Aleks Kissinger Lucas Dixon

Source URL: dream.inf.ed.ac.uk

Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract

Source URL: homepages.inf.ed.ac.uk

Lucas Maystre EPFL IC LCA 4, Station 14 CH-1015 Lausanne ( + * 8 http://lucas.maystre.ch

Source URL: lucas.maystre.ch

A Proof Planning Framework For Isabelle Lucas Dixon NI VER

Source URL: homepages.inf.ed.ac.uk

• Automated theorem proving
• Mathematics
• Mathematical logic
• Logic
• IsaPlanner
• Rippling
• Mathematical proof
• Mathematical induction
• Proof assistant
• Isabelle
• Algorithm
• Peano axioms

Projeto Novos Talentos - Universidade de Brasília contribuindo para a formação de novos talentos Coordenador Gera: Cristina Castro Lucas de Souza Depieri; Coordenador do Subprojeto_1: Roseline Beatriz Strieder; Coorde

Source URL: seminarios.capes.gov.br

July 10, 2012 The Honorable Frank Lucas Committee on Agriculture, Chair U.S. House of Representatives 1301 Longworth HOB Washington, D.C

Source URL: www.nffc.net

CASE STUDY Measurement Specialties 1000 Lucas Way Hampton, VA 23666

Source URL: www.globalspec.com

Graph Rewriting for Classical Structures University of Edinburgh Edinburgh, Scotland, UK Lucas Dixon

Source URL: dream.inf.ed.ac.uk

A graphical strategy language for proof re-use Gudmund Grov Heriot-Watt University with contributions from: Lucas Dixon, Alan Bundy, Ewen Maclean & other AI4FM project partners

Source URL: www.ai4fm.org

• Herstal
• Isabelle
• FN
• Conjecture
• Transport
• Economy of Belgium

IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

Source URL: homepages.inf.ed.ac.uk