Generating tableau provers using MetTeL2

TABLEAUX 2013 tutorial: Generating tableau provers using MetTeL2
Lecturers: Dr D. Tishkovsky and Dr R. A. Schmidt

Tutorial materials

Tutorial notes: Generating Tableau Provers Using MetTeL2
(Last modified: Wed, 18 Sep 2013 13:56:15 BST)
MetTeL2 prover generator

There were 316235 visits of this page since Sun, 12 May 2013 00:00:00 BST.
Last modified: Fri, 20 Sep 2013 07:43:49 BST.
Copyright ©2011 Dmitry Tishkovsky, School of Computer Science, University of Manchester