BibTeX record conf/mkm/SegundoMV14

download as .bib file

@inproceedings{DBLP:conf/mkm/SegundoMV14,
  author    = {Washington de Carvalho Segundo and
               Fl{\'{a}}vio L. C. de Moura and
               Daniel Ventura},
  editor    = {Matthew England and
               James H. Davenport and
               Andrea Kohlhase and
               Michael Kohlhase and
               Paul Libbrecht and
               Walther Neuper and
               Pedro Quaresma and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban and
               Stephen M. Watt},
  title     = {Formalizing a Named Explicit Substitutions Calculus in Coq},
  booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
               Work in Progress track at {CICM} co-located with Conferences on Intelligent
               Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
               2014},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1186},
  publisher = {CEUR-WS.org},
  year      = {2014},
  url       = {http://ceur-ws.org/Vol-1186/paper-19.pdf},
  timestamp = {Wed, 12 Feb 2020 16:44:27 +0100},
  biburl    = {https://dblp.org/rec/conf/mkm/SegundoMV14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics