Searching for authors named "Steve Linton" – sorted by Relevance.
-
Recent Developments In Computational Algebra - A Report From The Green Perspective
- RECENT DEVELOPMENTS IN COMPUTATIONAL ALGEBRA A REPORT FROM THE GREEN PERSPECTIVE Steve Linton
- Add To MetaCart
-
Contents Symmetry and Inference
- Contents Symmetry and Inference Steve Linton Ian Gent Tom Kelsey October 16, 2002 I Track Record 1
- Add To MetaCart
-
Symmetry Breaking in the Alien Tiles Puzzle
- Symmetry Breaking in the Alien Tiles Puzzle Ian Gent ∗ , Steve Linton † , and Barbara Smith
- Cited by 7 (5 self) – Add To MetaCart
-
Lightweight Formal Methods For Computer Algebra Systems
- Lightweight Formal Methods For Computer Algebra Systems Martin Dunstan, Tom Kelsey, Steve Linton
- Cited by 12 (5 self) – Add To MetaCart
-
The insertion encoding of permutations
- , University of Otago, Dunedin, New Zealand e-mail: michael.albert@(email omitted); STEVE LINTON School
- Cited by 5 (0 self) – Add To MetaCart
-
Copyright Automata 2
- Automata ( Version 1.10 ) Manuel Delgado Steve Linton José João Morais Manuel Delgado — Email
- Add To MetaCart
-
Formal Methods for Extensions to CAS
- ) Martin N Dunstan ? , Tom Kelsey, Ursula Martin, and Steve Linton Division of Computer Science
- Cited by 1 (1 self) – Add To MetaCart
-
Symmetry and Consistency
- Symmetry and Consistency Ian P. Gent 1 , Tom Kelsey 1 , Steve Linton 1 , Colva Roney-Dougal 1 1
- Cited by 1 (0 self) – Add To MetaCart
-
Generic SBDD using computational group theory
- , and Steve Linton 1 1 School of Computer Science, University of St Andrews, St Andrews,Fife, KY16 9SS, UK
- Cited by 26 (7 self) – Add To MetaCart
-
GAP KANT/KASH
- Alexander Konovalov (joint work with Steve Linton and SCIEnce partners) Supported by the EU FP6 project
- Add To MetaCart

