JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian LucaVolume:
150
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2017-1462
Date:
March, 2017
File:
PDF, 167 KB
english, 2017