JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 46-53, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.