MetTeL2: Towards a Tableau Prover Generation Platform

Tishkovsky, D., Schmidt, R. A. and Khodadadi, M. (2012)

In Fontaine, P. and Schmidt, R. A. and Schulz, S. (eds), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. EPiC Series, Vol. 21 EasyChair, 149-162. BiBTeX, PDF, Link to EasyChair Proceedings.

This paper introduces MetTeL2, a tableau prover generator producing Java code from the specifications of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated implementations.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 16 Oct 14
Copyright © 2012 Renate A. Schmidt, School of Computer Science, Man Univ,