OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky
book title
Logic at Botik 89
editor
A. Meyer and M. Taitslin
publisher
Springer-Verlag
year
1989
BibTeX
Samson Abramsky
