Marcus Vin?Cius Midena Ramos
AuthID: R-00H-3RM
1
TÃTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
AUTORES: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803