Context-Free Language Theory Formalization. - Marcus Vinícius Midena Ramos; Ruy J. G. B. de Queiroz (CoRR, 2015)

Formalization of closure properties for context-free grammars. - Marcus Vinícius Midena Ramos; Ruy J. G. B. de Queiroz (CoRR, 2015)

Formalization of simplification for context-free grammars. - Marcus Vinícius Midena Ramos; Ruy J. G. B. de Queiroz (CoRR, 2015)

Formalization of context-free language theory. - Marcus V. M. Ramos; Ruy J. G. B. de Queiroz; Nelma Moreira; José Carlos Bacelar Almeida (CoRR, 2015)

On the Formalization of Some Results of Context-Free Language Theory. - Marcus Vinícius Midena Ramos; Ruy J. G. B. de Queiroz; Nelma Moreira; José Carlos Bacelar Almeida (WoLLIC, 2016)

Formalization of the pumping lemma for context-free languages. - Marcus Vinícius Midena Ramos; José Carlos Bacelar Almeida; Nelma Moreira; Ruy José Guerra Barretto de Queiroz (J. Formaliz. Reason., 2016)

Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. - Marcus V. M. Ramos; José Carlos Bacelar Almeida; Nelma Moreira; Ruy J. G. B. de Queiroz (LSFA, 2018)

Formalization of Context-Free Language Theory. - Marcus Vinícius Midena Ramos (Bull. Symb. Log., 2019)