| Title | Formalization of the pumping lemma for context-free languages |
| Publication Type | Unpublished |
| Authors | Ramos MV, de Queiroz RJ, Moreira N, Almeida JC |
| [2015-2] |
| Title | Formalization of the pumping lemma for context-free languages |
| Publication Type | Unpublished |
| Authors | Ramos MV, de Queiroz RJ, Moreira N, Almeida JC |
| [2015-2] |