OXFORD UNIVERSITY COMPUTING LABORATORY

Pure and Applied Fixed-Point Logics

S. Kreutzer

info

school

Dissertation thesis, RWTH Aachen

year

2002

links

BibTeX

related pages

people

Random Image
Random Image
Random Image