Mostrando
1 - 6
resultados de
6
para a busca '
Ribeiro, Rodrigo Geraldo
'
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
Ribeiro, Rodrigo Geraldo
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 6
resultados de
6
para a busca '
Ribeiro, Rodrigo Geraldo
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Mechanized metatheory for a λ-calculus with trust types.
por
Ribeiro
,
Rodrigo
Geraldo
Publicado em 2013
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Artigo
2
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
por
Ribeiro
,
Rodrigo
Geraldo
Publicado em 2013
Acessar documento (1)
Acessar documento (2)
Acessar documento (3)
Artigo
3
Ambiguity and constrained polymorphism.
por
Figueiredo, Carlos Camarão de
Publicado em 2016
Outros Autores:
“
...
Ribeiro
,
Rodrigo
Geraldo
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
4
Formal semantics for java-like languages and research opportunities.
por
Feitosa, Samuel da Silva
Publicado em 2018
Outros Autores:
“
...
Ribeiro
,
Rodrigo
Geraldo
...
”
Acessar documento
Artigo
5
Generating random well-typed Featherweight Java Programs using quickcheck.
por
Feitosa, Samuel da Silva
Publicado em 2019
Outros Autores:
“
...
Ribeiro
,
Rodrigo
Geraldo
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
6
Utilização de sinais acústicos para detecção de trincas em dormentes de aço.
por
Yared, Glauco Ferreira Gazel
Publicado em 2010
Outros Autores:
“
...
Ribeiro
,
Rodrigo
Geraldo
...
”
Acessar documento
Artigo de conferência
Exportar CSV
Exportar RIS
Carregando...