Percorrer por autor Moreira, Nelma Subscrever estatísticas do autor Moreira, Nelma

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-4 de um total de 4 resultados.
DataTítuloAutor(es)TipoAcesso
28-Mai-2016Formalization of the pumping lemma for context-free languagesRamos, M. V. M.; Queiroz, R. J. G. B. de; Moreira, Nelma, et al.ArtigoAcesso aberto
2016On the formalization of some results of context-free language theoryMidena Ramos, Marcus Vinicius; de Queiroz, Ruy J. G. B.; Moreira, Nelma, et al.Artigo em ata de conferênciaAcesso aberto
2011Partial derivative automata formalized in CoqAlmeida, José Bacelar; Moreira, Nelma; Pereira, David, et al.Artigo em ata de conferênciaAcesso aberto
2019Some applications of the formalization of the pumping lemma for context-free languagesRamos, Marcus V. M.; Almeida, José Bacelar; Moreira, Nelma, et al.ArtigoAcesso aberto
Mostrar 1-4 de um total de 4 resultados.