Marcus Vinícius Midena Ramos

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 7

Top Topics

Grammatical Inference

Closure Properties

Top Venues

Bull. Symb. Log.

J. Formaliz. Reason.

Publications

Marcus Vinícius Midena Ramos
Formalization of Context-Free Language Theory. Bull. Symb. Log. 25 (2) (2019)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
On the Formalization of Some Results of Context-Free Language Theory. WoLLIC (2016)
Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz
Formalization of the pumping lemma for context-free languages. J. Formaliz. Reason. 9 (2) (2016)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Formalization of closure properties for context-free grammars. CoRR (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Context-Free Language Theory Formalization. CoRR (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
Formalization of simplification for context-free grammars. CoRR (2015)
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
Formalization of the pumping lemma for context-free languages. CoRR (2015)