Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

The University of Edinburgh crest

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject
	Publication Type

Sign on to:
	Receive email updates
	My ERA authorized users
	Edit Profile


	About DSpace

Edinburgh Research Archive >

Browsing by Author Dixon, Lucas

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 3 to 9 of 9

Issue Date	Title	Author(s)	Supervisor(s)
2010	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery	Johansson, Moa; Dixon, Lucas; Bundy, Alan	-
2010	Formalising Term Synthesis for Isacosy	Johansson, Moa; Dixon, Lucas; Bundy, Alan	-
2009	Isacosy: Synthesis of Inductive Theorems	Dixon, Lucas; Bundy, Alan; Johansson, Moa	-
2010	Open Graphs and Computational Reasoning	Dixon, Lucas; Ross, Duncan; Aleks, Kissinger	-
Jun-2006	A Proof Planning Framework For Isabelle	Dixon, Lucas	Fleuriot, Jacques
25-Jun-2012	Scheme-based theorem discovery and concept invention	Montano-Rivas, Omar	McCasland, Roy; Bundy, Alan; Dixon, Lucas
3-Feb-2011	A Small Experiement in Event-b Rippling	Grov, Gudmund,; Bundy, Alan; Dixon, Lucas	-

Showing results 3 to 9 of 9

DSpace Software Copyright © 2002-2010 Duraspace - Feedback