Statistics
Publications
9
Citations
237
H-Index
9
Active since
1997
Affiliations
Steve Linton is an author at University of St Andrews specializing in computer science, mathematics, and computing.
Publications per year
1997–2011
9
9
Finding the smallest image of a set
Steve Linton · 2004 · 22 citations
Lightweight formal methods for computer algebra systems
Martin Dunstan, Tom Kelsey, Steve Linton et al. · 1998 · 17 citations
Computing, Computer Science, Algebra +13
1–5 of 9