Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo. Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. In Amy P. Felty, João Marcos 0001, editors, Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Volume 348 of Electronic Notes in Theoretical Computer Science, pages 61-83, Elsevier, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.