Steve Linton
发表
Nikola Ruskuc,
Steve Linton,
Götz Pfeiffer,
2002,
J. Symb. Comput..
Steve Linton,
Philip W. Trinder,
Abdallah Al Zain,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing with Applications.
Cheryl E. Praeger,
Steve Linton,
Alice C. Niemeyer,
2012,
1205.6586.
Steve Linton,
Sergey Kitaev,
Peter Nightingale,
2015,
J. Integer Seq..
Steve Linton,
Nik Ruskuc,
Vincent Vatter,
2010
.
Steve Linton,
Ursula Martin,
A. A. Adams,
1999,
CADE.
Steve Linton,
1995
.
Nikola Ruskuc,
Steve Linton,
Michael H. Albert,
2011,
Discret. Math..
Steve Linton,
1991,
J. Symb. Comput..
Steve Linton,
Kevin Hammond,
Phil Trinder,
2008
.
Steve Linton,
Ursula Martin,
Martin Dunstan,
1998,
ISSAC '98.
Steve Linton,
Alexander Hulpke,
1999
.
Steve Linton,
Hans-Wolfgang Loidl,
Vladimir Janjic,
2013,
PARCO.
Steve Linton,
S. Linton,
1991,
J. Symb. Comput..
Steve Linton,
Ian P. Gent,
Ian Miguel,
2005,
CP.
Steve Linton,
Ursula Martin,
A. A. Adams,
1999,
ISSAC '99.
Steve Linton,
Philip W. Trinder,
Abdallah Al Zain,
2010,
ISSAC.
Steve Linton,
Alexander Konovalov,
2010,
PASCO.
Steve Linton,
S. Linton,
2007,
ACCA.
Steve Linton,
Reimer Behrends,
Alexander Konovalov,
2010,
ICMS.
Steve Linton,
Ian P. Gent,
Ian Miguel,
2014,
Artif. Intell..
Steve Linton,
2004,
ISSAC '04.
Steve Linton,
Ursula Martin,
Martin Dunstan,
1999,
World Congress on Formal Methods.
Kazuhiro Yokoyama,
Steve Linton,
Daniel Robertz,
2015,
ISSAC.
Steve Linton,
Ian P. Gent,
Colva M. Roney-Dougal,
2005,
CP.
Steve Linton,
Ursula Martin,
Duncan Shand,
1996,
CADE.
Steve Linton,
Hans-Wolfgang Loidl,
Philip W. Trinder,
2007,
International Conference on Computational Science.
Steve Linton,
Alexander Konovalov,
Peter Horn,
2008,
AISC/MKM/Calculemus.
Steve Linton,
Warwick Harvey,
Ian P. Gent,
2003,
CP.
Finding permutations containing long cycles in finite alternating and symmetric groups acting on subsets
pdf
Cheryl E. Praeger,
Steve Linton,
Alice C. Niemeyer,
2012,
ArXiv.
Steve Linton,
Alexander Konovalov,
Vladimir Komendantsky,
2011,
Calculemus/MKM.
Steve Linton,
Alexander Konovalov,
Vladimir Komendantsky,
2012,
Electron. Notes Theor. Comput. Sci..
Steve Linton,
Alexander Hulpke,
2003,
ISSAC '03.
Steve Linton,
Alexander Konovalov,
V. A. Bovdi,
2011,
Int. J. Algebra Comput..
Steve Linton,
Gene Cooperman,
Larry Finkelstein,
1995,
Groups and Computation.
Steve Linton,
Edmund F. Robertson,
Mike D. Atkinson,
2000
.
Steve Linton,
Roberto Sebastiani,
R. Sebastiani,
2002,
Journal of symbolic computation.
Steve Linton,
Ian P. Gent,
Colva M. Roney-Dougal,
2004,
ECAI.
Thomas Breuer,
Steve Linton,
S. Linton,
1998,
ISSAC '98.
Steve Linton,
Nik Ruskuc,
Vincent Vatter,
2010
.
Steve Linton,
2008,
AISC/MKM/Calculemus.
Steve Linton,
Reimer Behrends,
Alexander Konovalov,
2010,
PASCO.
Steve Linton,
Colva M. Roney-Dougal,
Tom Kelsey,
2004,
AISC.
Steve Linton,
Hans-Wolfgang Loidl,
Philip W. Trinder,
2013,
J. Symb. Comput..
Steve Linton,
Hans-Wolfgang Loidl,
Philip W. Trinder,
2016,
Concurr. Comput. Pract. Exp..
Steve Linton,
Duncan Shand,
2004,
Journal of Automated Reasoning.
David B. A. Epstein,
Derek F. Holt,
Steve Linton,
2000
.
Nikola Ruskuc,
Steve Linton,
Michael H. Albert,
2005,
Electron. J. Comb..
Stephen M. Watt,
James H. Davenport,
William M. Farmer,
2003
.
Steve Linton,
Nik Ruskuc,
Michael H. Albert,
2010
.
Steve Linton,
Mike D. Atkinson,
Michael H. Albert,
2010
.
Steve Linton,
Götz Pfeiffer,
Edmund F. Robertson,
1998
.
Steve Linton,
Edmund F. Robertson,
Mike D. Atkinson,
2000
.
Steve Linton,
S. Linton,
1993
.
Thomas Breuer,
Steve Linton,
Johannes Meier,
2003
.
Leonard H. Soicher,
Steve Linton,
Klaus Lux,
1995
.
Steve Linton,
Michael Albert,
2004
.
Steve Linton,
Robert A. Wilson,
R. Wilson,
1998
.