Skip navigation
entrar
área pessoal
serviço de alertas
editar conta
idioma
Português
English
depositar
comunidades
percorrer
Percorrer Itens por:
Data de publicação
Autor
Orientador
Título
Assunto
Tipo de Documento
Tipo de Acesso
ajuda
Início
Pesquisar
Pesquisar:
Em todo repositório
CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações
CIDMA - Algebra and Geometry Group
AGG - Artigos
AGG - Capítulo de livro
AGG - Comunicações
AGG - Livro
AGG - Relatórios
por
Filtros correntes:
Título
Autor
Assunto
Data de publicação
Tipo de Documento
Tipo de Acesso
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Iniciar uma nova pesquisa
Adicionar filtros:
Utilizar filtros para refinar o resultado da pesquisa.
Título
Autor
Assunto
Data de publicação
Tipo de Documento
Tipo de Acesso
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Registos:
Data
Título
Autor(es)
Tipo
Acesso
2018
Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017
Madeira, Alexandre
;
Benevides, Mario
book
2015
A dynamic logic for every season
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
Ago-2021
Observational interpretations of hybrid dynamic logic with binders and silent transitions
Hennicker, Rolf
;
Knapp, Alexander
;
Madeira, Alexandre
article
23-Set-2017
A family of graded epistemic logics
Benevides, Mário
;
Madeira, Alexandre
;
Martins, Manuel A.
conferenceObject
11-Dez-2017
Asymmetric Combination of Logics is Functorial: A Survey
Neves, Renato
;
Madeira, Alexandre
;
Barbosa, Luís
;
Martins, Manuel A.
bookPart
19-Dez-2014
Refinement in hybridised institutions
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
;
Hennicker, Rolf
article
Ago-2016
An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
article
15-Dez-2016
A method for rigorous design of reconfigurable systems
Madeira, Alexandre
;
Neves, Renato
;
Barbosa, Luís S.
;
Martins, Manuel A.
article
14-Mar-2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
article
2019
Generalising KAT to verify weighted computations
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis S.
article
Resultados 1-10 de 35.
Anterior
1
2
3
4
Próxima
Refinar
Autor
16
Martins, Manuel A.
7
Gomes, Leandro
5
Barbosa, Luis S.
5
Barbosa, Luís Soares
5
Hennicker, Rolf
5
Neves, Renato
4
Barbosa, Luís S.
3
Benevides, Mario
3
Jain, Manisha
3
Knapp, Alexander
.
próximo >
Assunto
11
Dynamic logic
4
Fuzzy logic
3
Hybrid logic
3
Modal logic
3
Paraconsistent logic
2
Action lattice
2
Bisimulation
2
Dynamic Logic
2
Epistemic Logic
2
Formal methods
.
próximo >
Data de Publicação
8
2023
2
2022
5
2021
2
2020
8
2019
3
2018
2
2017
3
2016
1
2015
1
2014
.
próximo >