BibTeX record conf/lsfa/Ayala-RinconFNV20

• > Home > conf/lsfa/Ayala-RinconFNV20

@inproceedings{DBLP:conf/lsfa/Ayala-RinconFNV20,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes{-}Sobrinho and
                  Deivid Vale},
  editor       = {Amy P. Felty and
                  Jo{\~{a}}o Marcos},
  title        = {On Solving Nominal Disunification Constraints},
  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        = {3--22},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.02.002},
  doi          = {10.1016/J.ENTCS.2020.02.002},
  timestamp    = {Sun, 06 Oct 2024 21:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/lsfa/Ayala-RinconFNV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}