( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The ILLTP Library for Intuitionistic Linear Logic.

, , , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 118-132. (2018)

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.

Giselle Cheung

Giselle Sarganas

Giselle Schock-Skasa

Giselle Camargos Becker

Giselle Camargos Becker

 

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

Towards CERes in intuitionistic logic., , и . CSL, том 16 из LIPIcs, стр. 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Mechanizing Focused Linear Logic in Coq., , , и . LSFA, том 338 из Electronic Notes in Theoretical Computer Science, стр. 219-236. Elsevier, (2017)Formalized Meta-Theory of Sequent Calculi for Substructural Logics., , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 57-73. Elsevier, (2016)Sequoia: A Playground for Logicians - (System Description)., , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 480-488. Springer, (2020)Formalized meta-theory of sequent calculi for linear logics., , и . Theor. Comput. Sci., (2019)Facilitating Meta-Theory Reasoning (Invited Paper).. LFMTP, том 337 из EPTCS, стр. 1-12. (2021)On the Generation of Quantified Lemmas., , , , и . J. Autom. Reason., 63 (1): 95-126 (2019)The Proof Certifier Checkers., , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 201-210. Springer, (2015)The ILLTP Library for Intuitionistic Linear Logic., , , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 118-132. (2018)Ceres in intuitionistic logic., , , и . Ann. Pure Appl. Log., 168 (10): 1783-1836 (2017)