OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky and M. Lenisa
book title
CSL 2001 Conference Proceedings
pages
442-457
series
Springer LNCS
volume
2142
year
2001
BibTeX
Download (ps)
Samson Abramsky
