( en | de | ru )

 

Disambiguation of "Lang, Timo"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

, , and . LICS, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Timo Lang

Diana Timova

Nuala Patricia Timoney

Wladimir Timofiewitsch

Hassan Timouyas

 

Other publications of authors with the same name

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic., , and . Logica Universalis, 16 (1-2): 221-235 (2022)A Reduction in Violation Logic.. DEON, page 291-307. College Publications, (2021)From Semantic Games to Provability: The Case of Gödel Logic., , and . Stud Logica, 110 (2): 429-456 (2022)Interpreting Sequent Calculi as Client-Server Games., and . TABLEAUX, volume 10501 of Lecture Notes in Computer Science, page 98-113. Springer, (2017)Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics., , and . J. Symb. Log., 86 (2): 635-668 (2021)Bounded Sequent Calculi for Non-classical Logics via Hypersequents., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 94-110. Springer, (2019)Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics., , and . LICS, page 1-13. IEEE, (2021)Cut-Restriction: From Cuts to Analytic Cuts., , and . LICS, page 1-13. IEEE, (2023)A theory of cut-restriction: first steps., , and . CoRR, (2022)From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic., , and . IPMU (1), volume 1237 of Communications in Computer and Information Science, page 257-270. Springer, (2020)