Balasubramanian, A. R., Lang, T., & Ramanayake, R. (2021, June 29). Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470733
Citácia podle Chicago (17th ed.)Balasubramanian, A. R., Timo Lang, a Revantha Ramanayake. "Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470733.
Citácia podľa MLA (8th ed.)Balasubramanian, A. R., et al. "Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470733.