Authors
Pietro Abate, Rajeev Goré
Publication date
2003/9/9
Book
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Pages
230-236
Publisher
Springer Berlin Heidelberg
Description
The Tableaux Work Bench (TWB) is a meta tableau system designed for logicians with limited programming or automatic reasoning knowledge to experiment with new tableau calculi and new decision procedures. It has a simple interface, a history mechanism for controlling loops or pruning the search space, and modal simplification.
Total citations
Scholar articles
P Abate, R Goré - … Conference on Automated Reasoning with Analytic …, 2003