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