( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Introducing Quantified Cuts in Logic with Equality.

, , , , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2014)

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

 

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

Formalized Meta-Theory of Sequent Calculi for Substructural Logics., , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 57-73. Elsevier, (2016)Towards CERes in intuitionistic logic., , и . CSL, том 16 из LIPIcs, стр. 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Formalized meta-theory of sequent calculi for linear logics., , и . Theor. Comput. Sci., (2019)Sequoia: A Playground for Logicians - (System Description)., , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 480-488. Springer, (2020)The ILLTP Library for Intuitionistic Linear Logic., , , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 118-132. (2018)The Proof Certifier Checkers., , и . TABLEAUX, том 9323 из Lecture Notes in Computer Science, стр. 201-210. Springer, (2015)Preface., и . LSFA, том 351 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2020)System Description: GAPT 2.0., , , , , и . IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 293-301. Springer, (2016)Quati: An Automated Tool for Proving Permutation Lemmas., , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 255-261. Springer, (2014)Introducing Quantified Cuts in Logic with Equality., , , , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2014)