Mostrando
1 - 20
resultados de
28
para a busca '
Madeira, Alexandre
'
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
Madeira, Alexandre
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 20
resultados de
28
para a busca '
Madeira, Alexandre
'
, tempo de busca: 0,08s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A method for rigorous design of reconfigurable systems
por
Madeira
,
Alexandre
Publicado em 2016
Acessar documento
Artigo
2
Epistemic logics with structured knowledge
por
Madeira
,
Alexandre
Publicado em 2019
Acessar documento
Artigo
3
An exercise on the generation of many-valued dynamic logics
por
Madeira
,
Alexandre
Publicado em 2016
Acessar documento
Artigo
4
A logic for the stepwise development of reactive systems
por
Madeira
,
Alexandre
Publicado em 2018
Acessar documento
Artigo
5
Refinement in hybridised institutions
por
Madeira
,
Alexandre
Publicado em 2014
Acessar documento
Artigo
6
A logic for the stepwise development of reactive systems
por
Madeira
,
Alexandre
Leite Castro
Publicado em 2018
Acessar documento
Artigo
7
Hierarchical hybrid logic
por
Madeira
,
Alexandre
Leite Castro
Publicado em 2018
Acessar documento
Artigo
8
Refinement in hybridised institutions
por
Madeira
,
Alexandre
Leite Castro
Publicado em 2015
Acessar documento
Artigo
9
A method for rigorous design of reconfigurable systems
por
Madeira
,
Alexandre
Leite Castro
Publicado em 2016
Acessar documento
Artigo
10
Relatório de estágio no Sublime Comporta Country Retreat & SPA
por
Madeira
,
Alexandre
Barros
Publicado em 2022
Acessar documento
Dissertação
11
Abordagem algébrica à igualdade observacional
por
Madeira
,
Alexandre
Leite de Castro
Publicado em 2008
Acessar documento
Dissertação
12
Encoding hybridised institutions into first order logic
por
Diaconescu, Razvan
Publicado em 2016
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
13
Behavioural and abstractor specifications revisited
por
Hennicker, Rolf
Publicado em 2018
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
14
A family of graded epistemic logics
por
Benevides, Mario R. F.
Publicado em 2018
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
15
Hybrid dynamic logic institutions for event/data-based systems
por
Hennicker, Rolf
Publicado em 2021
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
16
Generalising KAT to verify weighted computations
por
Gomes, Leandro
Publicado em 2019
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
17
Introducing synchrony in fuzzy automata
por
Gomes, Leandro Rafael Moreira
Publicado em 2020
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
18
The role of logical interpretations on program development
por
Martins, Manuel A.
Publicado em 2014
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
19
Paraconsistent transition systems
por
Cruz, Ana
Publicado em 2023
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
20
A logic for paraconsistent transition systems
por
Cruz, Ana
Publicado em 2022
Outros Autores:
“
...
Madeira
,
Alexandre
...
”
Acessar documento
Artigo
1
2
Seguinte
[2]
Exportar CSV
Exportar RIS
Carregando...