, Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Portugal

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