Research@StAndrews
 
The University of St Andrews

Research@StAndrews:FullText >

Browsing by Names Linton, Stephen Alexander

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 3 to 4 of 4
< previous 
Issue DateTitleAuthor(s)Type
19-Sep-2012Interfacing Coq + SSReflect with GAPKomendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen AlexanderJournal article
May-2011On convex permutationsAlbert, M.H.; Linton, Stephen Alexander; Ruskuc, Nik; Vatter, V; Waton, SJournal article
Showing results 3 to 4 of 4
< previous 

 

DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: Digital-Repository@st-andrews.ac.uk | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)