OXFORD UNIVERSITY COMPUTING LABORATORY


The Foundations of Computer Science Research Group

\*FoCS at OUCL
\*Members
\*Seminars
\*Our events
\*RESEARCH
\*Game Semantics
\*Physics and CS
\*Modal Logic
\*FP6 STREP QICS

Modal Logic

Will be completed soon.

[Oxford Spires]


oucl research tav

FoCS at OUCL
Courses | Research | People | About us | News
Site last produced on Tue Feb 19 15:10:03 GMT 2008 . Page generated by AWF.
Copyright (C) 2004 OUCL.
Oxford University Computing Laboratory Courses Research People About us News