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

Course materials

(in PDF)
Valid XHTML 1.0! Valid CSS! There were 269272 visits of this page since Wed, 01 Jun 2011 00:00:00 BST.
Last modified: Wed, 01 Jun 2011 23:44:47 BST.
Copyright ©2011 Dmitry Tishkovsky, School of Computer Science, University of Manchester