OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Stephan Kreutzer
book title
Computer Science Logic (CSL)
journal
year
2009
BibTeX
Link (pdf)
