( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

Другие публикации лиц с тем же именем

Tableau Calculi for the Logics of Finite k-Ary Trees., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 115-129. Springer, (2002)A Terminating Evaluation-Driven Variant of G3i., , и . TABLEAUX, том 8123 из Lecture Notes in Computer Science, стр. 104-118. Springer, (2013)Simplification Rules for Intuitionistic Propositional Tableaux., , и . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World.. IJCAI, стр. 869-874. IJCAI/AAAI, (2011)Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.. IWIL@LPAR, том 2 из EPiC Series in Computing, стр. 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, том 9 из EPiC Series in Computing, стр. 52-62. EasyChair, (2010)A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications., , и . J. Appl. Non Class. Logics, 19 (2): 149-166 (2009)Efficient Learning with Equivalence Queries of Conjunctions of Modulo Functions., , и . Inf. Process. Lett., 56 (1): 15-17 (1995)