BibTeX record conf/lsfa/Gonzalez-Huesca20

• > Home > conf/lsfa/Gonzalez-Huesca20

@inproceedings{DBLP:conf/lsfa/Gonzalez-Huesca20,
  author       = {Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca and
                  Favio Ezequiel Miranda{-}Perea and
                  P. Selene Linares{-}Ar{\'{e}}valo},
  editor       = {Amy P. Felty and
                  Jo{\~{a}}o Marcos},
  title        = {Dual and Axiomatic Systems for Constructive S4, a Formally Verified
                  Equivalence},
  booktitle    = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {348},
  pages        = {61--83},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.02.005},
  doi          = {10.1016/J.ENTCS.2020.02.005},
  timestamp    = {Thu, 27 Apr 2023 14:58:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lsfa/Gonzalez-Huesca20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}