OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Gavin Lowe
journal
Theor. Comput. Sci.
number
1
pages
209-256
volume
315
year
2004
BibTeX
Link (ps)
DOI (10.1016/j.tcs.2003.11.019)
