OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Stephen Brien and Andrew Martin
journal
J. Symbolic Computation
number
1
pages
63—91
volume
30
year
2000
BibTeX
Andrew Martin
