( en | de | ru )

 

Disambiguation of "Fiorentini, Camillo"

Author of the publication

copydeleteadd this publication to your clipboard
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.

, , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Erna Fiorentini

Erna Fiorentini

Erna Fiorentini

Erna Fiorentini

Camillo Zirn

 

Other publications of authors with the same name

Towards a Type Discipline for Answer Set Programming., , and . TYPES, volume 5497 of Lecture Notes in Computer Science, page 117-135. Springer, (2008)Snapshot Generation in a Constructive Object-Oriented Modeling Language., , , and . LOPSTR, volume 4915 of Lecture Notes in Computer Science, page 169-184. Springer, (2007)Tableau Calculi for the Logics of Finite k-Ary Trees., , and . TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 115-129. Springer, (2002)A Terminating Evaluation-Driven Variant of G3i., , and . TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 104-118. Springer, (2013)Simplification Rules for Intuitionistic Propositional Tableaux., , and . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)From Constructivism to Logic Programming: an Homage to Mario Ornaghi., , and . Fundam. Informaticae, 161 (1-2): 1-7 (2018)Reasoning on Information Term Semantics with ASP for Constructive ELꓕ., and . CILC, volume 2710 of CEUR Workshop Proceedings, page 141-156. CEUR-WS.org, (2020)A New Approach to Clausification for Intuitionistic Propositional Logic., and . CILC, volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic., and . CoRR, (2018)A Forward Unprovability Calculus for Intuitionistic Propositional Logic., and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 114-130. Springer, (2017)