( en | de | ru )

 

Disambiguation of "Reis, Giselle"

Author of the publication

copydeleteadd this publication to your clipboard
Towards CERes in intuitionistic logic.

, , and . CSL, volume 16 of LIPIcs, page 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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.

Giselle Cheung

Giselle Sarganas

Giselle Schock-Skasa

Giselle Camargos Becker

Giselle Camargos Becker

 

Other publications of authors with the same name

Formalized Meta-Theory of Sequent Calculi for Substructural Logics., , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 57-73. Elsevier, (2016)Towards CERes in intuitionistic logic., , and . CSL, volume 16 of LIPIcs, page 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Formalized meta-theory of sequent calculi for linear logics., , and . Theor. Comput. Sci., (2019)Sequoia: A Playground for Logicians - (System Description)., , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 480-488. Springer, (2020)The Proof Certifier Checkers., , and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 201-210. Springer, (2015)The ILLTP Library for Intuitionistic Linear Logic., , , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 118-132. (2018)An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 146-161. Springer, (2015)Quati: An Automated Tool for Proving Permutation Lemmas., , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 255-261. Springer, (2014)Introducing Quantified Cuts in Logic with Equality., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 240-254. Springer, (2014)Specifying Proof Systems in Linear Logic with Subexponentials., , and . LSFA, volume 269 of Electronic Notes in Theoretical Computer Science, page 109-123. Elsevier, (2010)