OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky
book title
Theoretical Computer Science
number
3
pages
441-464
volume
347
year
2005
BibTeX
Download (pdf)
Samson Abramsky
