Roy L. McCasland

	2012
7		Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-based theorem discovery and concept invention. Expert Syst. Appl. 39(2): 1637-1646 (2012)
	2010
6		Omar Montano-Rivas, Roy L. McCasland, Lucas Dixon, Alan Bundy: Scheme-Based Synthesis of Inductive Theories. MICAI (1) 2010: 348-361
	2008
5		Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reasoning 40(2-3): 221-243 (2008)
	2006
4		Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
3		Roy L. McCasland, Alan Bundy: MATHsAiD: A Mathematical Theorem Discovery Tool. SYNASC 2006: 17-22
2		Roy L. McCasland, Alan Bundy, Patrick F. Smith: Ascertaining Mathematical Theorems. Electr. Notes Theor. Comput. Sci. 151(1): 21-38 (2006)
	2004
1		Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414

Coauthor Index

1	Alan Bundy	[2] [3] [6] [7]
2	Simon Colton	[1] [4] [5]
3	Lucas Dixon	[6] [7]
4	Andreas Meier	[1] [4] [5]
5	Omar Montano-Rivas	[6] [7]
6	Patrick F. Smith	[2]
7	Volker Sorge	[1] [4] [5]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page