OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
M. Hague and C.-H. L. Ong
journal
Logical Methods in Computer Science
volume
4
year
2008
BibTeX
Link
DOI (10.2168/LMCS-4(4:14)2008)
Matthew Hague
