BibTeX record conf/mkm/SegundoMV14

download as .bib file

  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,
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1186},
  publisher = {},
  year      = {2014},
  url       = {},
  timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics