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, schmidt@cs.man.ac.uk