, Centro de Informática, Universidade Federal de Pernambuco (UFPE), Brazil

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