( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid linear logic, revisited.

, , , и . Math. Struct. Comput. Sci., 29 (8): 1151-1176 (2019)

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.

Elaine Waldron

Erich Pimentel

Elaine Burroughs

Elaine Billen

Elaine Guzman

 

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

Hybrid and Subexponential Linear Logics., , и . LSFA, том 332 из Electronic Notes in Theoretical Computer Science, стр. 95-111. Elsevier, (2016)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)Hybrid linear logic, revisited., , , и . Math. Struct. Comput. Sci., 29 (8): 1151-1176 (2019)A linear logic framework for multimodal logics., , и . Math. Struct. Comput. Sci., 32 (9): 1176-1204 (октября 2022)A Semantical View of Proof Systems.. WoLLIC, том 10944 из Lecture Notes in Computer Science, стр. 61-76. Springer, (2018)The ILLTP Library for Intuitionistic Linear Logic., , , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 118-132. (2018)On the Specification of Sequent Systems., и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 352-366. Springer, (2005)Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)., , и . FSCD, том 195 из LIPIcs, стр. 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Tour on Ecumenical Systems (Invited Talk)., и . CALCO, том 270 из LIPIcs, стр. 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Proof systems: from nestings to sequents and back.. CoRR, (2018)