, Colegiado de Engenharia de Computação, Universidade Federal do Vale do São Francisco (UNIVASF), Brazil

• Journal of Formalized Reasoning Vol. 9 No. 2 (2016) - Articles
  Formalization of the pumping lemma for context-free languages
  Abstract  PDF