Mostrando
1 - 4
resultados de
4
para a busca '
Moreira,Nelma
'
Pular para o conteúdo
Portal do Governo Brasileiro
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Moreira,Nelma
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 4
resultados de
4
para a busca '
Moreira,Nelma
'
, tempo de busca: 0,01s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Deciding Kleene Algebra Terms Equivalence in Coq
por
Pereira, David
Publicado em 2015
Outros Autores:
“
...
Moreira
,
Nelma
...
”
Acessar documento
Artigo
2
Some applications of the formalization of the pumping lemma for context-free languages
por
Ramos, Marcus V. M.
Publicado em 2019
Outros Autores:
“
...
Moreira
,
Nelma
...
”
Acessar documento
Artigo
3
Formalization of the pumping lemma for context-free languages
por
Ramos, M. V. M.
Publicado em 2016
Outros Autores:
“
...
Moreira
,
Nelma
...
”
Acessar documento
Artigo
4
Formalization of the Pumping Lemma for Context-Free Languages
por
Ramos,MarcusViniciusMidena
Publicado em 2016
Outros Autores:
“
...
Moreira
,
Nelma
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...