Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. OASIS: The Oxford Advanced Seminar on Informatic Structures
  4. Reactive Kripke Semantics and Arc Accessibility

Reactive Kripke Semantics and Arc Accessibility

Dov Gabbay ( King's College London )
  • 27May
    12:00 27th May 2005 ( week 5, Trinity Term 2005 )

 

 

Share this:

Seminar Series

See also

Coordinators

News & Events

Back to Top