Author of the publication

Specifying Proof Systems in Linear Logic with Subexponentials.

, , and . LSFA, volume 269 of Electronic Notes in Theoretical Computer Science, page 109-123. Elsevier, (2010)

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.

 

Other publications of authors with the same name

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 Substructural Logics., , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 57-73. Elsevier, (2016)Preface., and . LSFA, volume 351 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2020)System Description: GAPT 2.0., , , , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 293-301. Springer, (2016)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)Formalization of Automated Trading Systems in a Concurrent Linear Framework., , , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 1-14. (2018)Complexity of translations from resolution to sequent calculus., and . Math. Struct. Comput. Sci., 29 (8): 1061-1091 (2019)Proof Search and Certificates for Evidential Transactions., , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 234-251. Springer, (2021)