ESSLLI 2011 tutorial: Automated Synthesis of Tableau Calculi
Lecturers: Dr R. A. Schmidt and Dr D. Tishkovsky

Sun, 21 Aug 2011 The lecture notes are now match the slides for the actual tutorial which was taught at ESSLLI.
Sun, 07 Aug 2011 The final version of the lecture notes is uploaded.
Wed, 01 Jun 2011 This page has been set up.
Valid XHTML 1.0! Valid CSS! There were 321375 visits of this page since Wed, 01 Jun 2011 00:00:00 BST.
Last modified: Sun, 21 Aug 2011 16:00:01 BST.
Copyright ©2011 Dmitry Tishkovsky, School of Computer Science, University of Manchester