%0 Journal Article %1 balasubramanian2021decidability %A Balasubramanian, A. R. %A Lang, Timo %A Ramanayake, Revantha %D 2021 %J Accepted at LICS'21 %K conference %T Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. %U http://easyconferences.eu/lics2021/accepted-papers/

@article{balasubramanian2021decidability, added-at = {2021-04-09T16:18:30.000+0200}, author = {Balasubramanian, A. R. and Lang, Timo and Ramanayake, Revantha}, biburl = {https://www.bibsonomy.org/bibtex/2258753025f89bede7837b754b4b21cfa/paves}, interhash = {fb15f2c7c408f78ed6a740d4bcc4729b}, intrahash = {258753025f89bede7837b754b4b21cfa}, journal = {Accepted at LICS'21}, keywords = {conference}, note = {https://arxiv.org/abs/2104.09716}, timestamp = {2023-09-24T19:40:41.000+0200}, title = {Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.}, url = {http://easyconferences.eu/lics2021/accepted-papers/}, year = 2021 }