Flávio L. C. de Moura

  author    = {F. L. C. de Moura and
	       A. V. Barbosa and
	       M. Ayala-Rinc{\'o}n and
	       F. Kamareddine},
  title     = {A Flexible Framework for Visualisation of Computational
	       Properties of General Explicit Substitutions Calculi},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {269},
  year      = {2011},
  pages     = {41-54},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2011.03.004},
  bibsource = {DBLP, http://dblp.uni-trier.de}}

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

Created: 2016-11-28 Seg 10:06