OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Stephan Kreutzer
journal
Annals of Pure and Applied Logic
note
LICS 2002 Selected Paper Issue
number
1-3
pages
61—78
volume
130
year
2004
BibTeX
