OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Paul Hunter and Anuj Dawar
book title
Symposium on Mathematical Foundations of Computer Science (MFCS)
year
2005
BibTeX
Link (pdf)
Paul Hunter
