Search results

Articles (3)

Journals (0)

1-3 of 3 results for Tableaux Calculi

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2017

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

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10

Laura Giordano, Nicola Olivetti, Valentina Gliozzic [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1991

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle

Fundamenta Informaticae