External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence

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]

Authors

Lourdes Del Carmen González-Huesca

This author has not been identified. Look up 'Lourdes Del Carmen González-Huesca' in Google

Favio E. Miranda-Perea

This author has not been identified. Look up 'Favio E. Miranda-Perea' in Google

P. Selene Linares-Arévalo

This author has not been identified. Look up 'P. Selene Linares-Arévalo' in Google
runs on