Ruy de G. B. de Queiroz
AuthID: R-00H-3RN
1
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
2
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
AUTHORS: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803
