OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Stephan Kreutzer Nicole Schweikardt Anuj Dawar, Martin Grohe
book title
Logic in Computer Science (LICS)
pages
411-420
year
2006
BibTeX
Stephan Kreutzer