( en | de | ru )

 

Disambiguation of "Fiorentini, Camillo"

Author of the publication

copydeleteadd this publication to your clipboard
A Forward Unprovability Calculus for Intuitionistic Propositional Logic.

, and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 114-130. Springer, (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

Simplification Rules for Intuitionistic Propositional Tableaux., , and . ACM Trans. Comput. Log., 13 (2): 14:1-14:23 (2012)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)Snapshot Generation in a Constructive Object-Oriented Modeling Language., , , and . LOPSTR, volume 4915 of Lecture Notes in Computer Science, page 169-184. Springer, (2007)From Constructivism to Logic Programming: an Homage to Mario Ornaghi., , and . Fundam. Informaticae, 161 (1-2): 1-7 (2018)Towards a Type Discipline for Answer Set Programming., , and . TYPES, volume 5497 of Lecture Notes in Computer Science, page 117-135. Springer, (2008)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)A Proof-theoretical Analysis of Semiconstructive Intermediate Theories., and . Stud Logica, 73 (1): 21-49 (2003)A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 111-129. Springer, (2019)