Mostrando
1 - 11
resultados de
11
para a busca '
Neves, Renato Jorge Araújo
'
Pular para o conteúdo
Ir para o conteúdo
GovBR
Comunica BR
Acesso à informação
Participe
Legislação
Órgãos do Governo
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
Neves, Renato Jorge Araújo
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 11
resultados de
11
para a busca '
Neves, Renato Jorge Araújo
'
, tempo de busca: 0,17s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Hybrid programs
por
Neves
,
Renato
Jorge
Araújo
Publicado em 2018
Acessar documento
2
Languages and models for hybrid automata: A coalgebraic perspective
por
Neves
,
Renato
Jorge
Araújo
Publicado em 2018
Acessar documento
Artigo
3
Proof support for hybridised logics
por
Neves
,
Renato
Jorge
Araújo
Publicado em 2013
Acessar documento
Dissertação
4
Hybrid automata as coalgebras
por
Neves
,
Renato
Jorge
Araújo
Publicado em 2016
Acessar documento
5
The syntactic side of autonomous categories enriched over generalised metric spaces
por
Dahlqvist, Fredrik
Publicado em 2023
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
Artigo
6
An internal language for categories enriched over generalised metric spaces
por
Dahlqvist, Fredrik
Publicado em 2022
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
7
A complete V-equational system for graded lambda-calculus
por
Dahlqvist, Fredrik
Publicado em 2023
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
8
A method for rigorous design of reconfigurable systems
por
Madeira, Alexandre Leite Castro
Publicado em 2016
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
Artigo
9
Introducing hierarquical hybrid logic
por
Madeira, Alexandre
Publicado em 2014
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
10
Hierarchical hybrid logic
por
Madeira, Alexandre Leite Castro
Publicado em 2018
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
Artigo
11
Reuse and integration of specification logics: the hybridisation perspective
por
Barbosa, L. S.
Publicado em 2016
Outros Autores:
“
...
Neves
,
Renato
Jorge
Araújo
...
”
Acessar documento
Exportar CSV
Exportar RIS
Carregando...
Carregando...