TY  - RPRT
TI  - Formalization of the pumping lemma for context-free languages
AU  - Marcus V. M. Ramos
AU  - Ruy J. G. B. de Queiroz
AU  - Nelma Moreira
AU  - José Carlos Bacelar Almeida
PY  - 2015
UR  - https://arxiv.org/abs/1510.04748
ID  - 1510.04748
ER  -