Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Fleuriot, Jacques

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 1 to 4 of 4

Issue Date	Title	Author(s)	Supervisor(s)
Jul-2004	The Dynamic Creation of Induction Rules Using Proof Planning	Gow, Jeremy	Bundy, Alan; Green, Ian; Fleuriot, Jacques
Jun-2006	A Proof Planning Framework For Isabelle	Dixon, Lucas	Fleuriot, Jacques
30-Jun-2011	Supporting dependently typed functional programming with proof automation and testing	Wilson, Sean	Fleuriot, Jacques; Smaill, Alan
2004	Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis	Maclean, Ewen	Fleuriot, Jacques; Smaill, Alan

Showing results 1 to 4 of 4