OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Anuj Dawar, Martin Grohe and Stephan Kreutzer
book title
Logic in Computer Science (LICS)
pages
270-279
year
2007
BibTeX
Link (pdf)
Stephan Kreutzer