( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

, , и . LICS, стр. 1-13. IEEE, (2021)

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.

No persons found for author name Ramanayake, Revantha
add a person with the name Ramanayake, Revantha
 

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

From Display to Labelled Proofs for Tense Logics., , и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 120-139. Springer, (2018)Display to Labeled Proofs and Back Again for Tense Logics., , , и . ACM Trans. Comput. Log., 22 (3): 20:1-20:31 (2021)Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.. IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 416-432. Springer, (2016)Sequentialising Nested Systems., , и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 147-165. Springer, (2019)Valentini's Cut-Elimination for Provability Logic resolved., и . Rev. Symb. Log., 5 (2): 212-238 (2012)A theory of cut-restriction: first steps., , и . CoRR, (2022)Hypersequent and Display Calculi - a Unified Perspective., , и . Stud Logica, 102 (6): 1245-1294 (2014)Bunched Hypersequent Calculi for Distributive Substructural Logics., и . LPAR, том 46 из EPiC Series in Computing, стр. 417-434. EasyChair, (2017)Valentini's cut-elimination for provability logic resolved., и . Advances in Modal Logic, стр. 67-86. College Publications, (2008)Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents., и . Advances in Modal Logic, стр. 279-299. College Publications, (2012)