Travelled to:1 × Ireland
1 × USA
Collaborated with:V.Sorge A.Meier S.Colton
Talks about:automat (2) construct (1) theorem (1) isotopi (1) generat (1) classif (1) algebra (1) invari (1) verif (1) finit (1)
Person: Roy L. McCasland
DBLP: McCasland:Roy_L=
Contributed to:
20062004Wrote 2 papers:
- IJCAR-2006-SorgeMMC #automation #invariant #verification
- Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
- IJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem
- Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.