Marcus V. M. Ramos

According to our database, Marcus V. M. Ramos authored at least 8 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Formalization of Context-Free Language Theory.

Marcus Vinícius Midena Ramos

Bull. Symb. Log., 2019

2018

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

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

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

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

Proceedings of the Logic, Language, Information, and Computation, 2016

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

Formalization of simplification for context-free grammars.

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

Context-Free Language Theory Formalization.

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz

CoRR, 2015