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. Proofnets for the modal logic S5

Proofnets for the modal logic S5

Greg Restall ( University of Melbourne )
  • 28Oct
    12:00 28th October 2005 ( week 3, Michaelmas Term 2005 )

 

 

Seminar Series

See also

Coordinators

News & Events

Back to Top