( en | de | ru )

 

Disambiguierung von "Fiorino, Guido"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.

, , und . Fundam. Informaticae, 150 (1): 119-142 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

Weitere Publikationen von Autoren mit dem selben Namen

Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.. IJCAI, Seite 869-874. IJCAI/AAAI, (2011)Tableau Calculi for the Logics of Finite k-Ary Trees., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 115-129. Springer, (2002)A Terminating Evaluation-Driven Variant of G3i., , und . TABLEAUX, Volume 8123 von Lecture Notes in Computer Science, Seite 104-118. Springer, (2013)Simplification Rules for Intuitionistic Propositional Tableaux., , und . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.. IWIL@LPAR, Volume 2 von EPiC Series in Computing, Seite 17-32. EasyChair, (2010)Terminating Calculi for Propositional Dummett Logic with Subformula Property. CoRR, (2012)An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic.. J. Autom. Reason., 27 (3): 297-311 (2001)Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus.. PAAR@IJCAR, Volume 9 von EPiC Series in Computing, Seite 52-62. EasyChair, (2010)A secondary semantics for Second Order Intuitionistic Propositional Logic., , und . Math. Log. Q., 50 (2): 202-210 (2004)On the complexity of the disjunction property in intuitionistic and modal logics., , und . ACM Trans. Comput. Log., 6 (3): 519-538 (2005)