Flávio L. C. de Moura

@inproceedings{DBLP:conf/mkm/SegundoMV14,
  author    = {Washington de Carvalho Segundo and
	       Fl{\'{a}}vio L. C. de Moura and
	       Daniel Ventura},
  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.},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014ws},
  url       = {http://ceur-ws.org/Vol-1186/paper-19.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/SegundoMV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

@proceedings{DBLP:conf/mkm/2014ws,
  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     = {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},
  urn       = {urn:nbn:de:0074-1186-1},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mkm/2014ws},
  bibsource = {dblp computer science bibliography, http://dblp.org}}

Email: flaviomoura@unb.br, flavio.de.moura@gmail.com

Created: 2016-11-27 Dom 15:20

Validate