| Title | Formalization of context-free language theory |
| Publication Type | Unpublished |
| Authors | Ramos MV, de Queiroz RJ, Moreira N, Almeida JC |
| [2015-1] |
| Title | Formalization of context-free language theory |
| Publication Type | Unpublished |
| Authors | Ramos MV, de Queiroz RJ, Moreira N, Almeida JC |
| [2015-1] |