Marcus V. M. Ramos

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Inductive Inference

Regular Languages

Context Free Languages

Top Venues

Publications

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