OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Kreutzer
book title
Proc. of the 17th Symp. on Logic in Computer Science (LICS)
pages
403 — 413
year
2002
BibTeX
Stephan Kreutzer
