Mostrando
1 - 10
resultados de
10
para a busca '
Alexandre Castro Madeira
'
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
Alexandre Castro Madeira
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 10
resultados de
10
para a busca '
Alexandre Castro Madeira
'
, tempo de busca: 0,06s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A method for rigorous design of reconfigurable systems
por
Alexandre
Castro
Madeira
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
2
An exercise on the generation of many-valued dynamic logics
por
Alexandre
Castro
Madeira
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Artigo
3
Refinement in hybridised institutions
por
Alexandre
Castro
Madeira
Publicado em 2015
Acessar documento (1)
Acessar documento (2)
Artigo
4
A logic for n-dimensional hierarchical refinement
por
Alexandre
Castro
Madeira
Publicado em 2015
Acessar documento (1)
Acessar documento (2)
Artigo
5
Encoding hybridized institutions into first-order logic
por
Diaconescu,R
Publicado em 2016
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
6
A Coalgebraic Perspective on Logical Interpretations
por
Martins,MA
Publicado em 2013
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
7
THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
por
Martins,MA
Publicado em 2014
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
8
On the verification of architectural reconfigurations
por
Alejandro Sánchez
Publicado em 2015
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
9
An institution for Alloy and its translation to second-order logic
por
Renato Jorge Neves
Publicado em 2014
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
10
Proof theory for hybrid(ised) logics
por
Renato Jorge Neves
Publicado em 2016
Outros Autores:
“
...
Alexandre
Castro
Madeira
...
”
Acessar documento (1)
Acessar documento (2)
Artigo
Exportar CSV
Exportar RIS
Carregando...