From Trees to Graphs in Modal Tableaux

14^th June 2011, 16:00
Dr Florian Widmann
Department of Computing, Imperial College London, UK