Skip navigation
sign on to:
my account
receive email
updates
edit profile
language
Português
English
submit
communities
browse
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
help
Home
Search
Search:
All of DSpace
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
for
Current filters:
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Item hits:
Issue Date
Title
Author(s)
Type
Access Type
2018
Generating the algebraic theory of C(X): the case of partially ordered compact spaces
Hofmann, Dirk
;
Neves, Renato
;
Nora, Pedro
article
2015
A dynamic logic for every season
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
Apr-2019
Limits in categories of Vietoris coalgebras
Hofmann, Dirk
;
Neves, Renato
;
Nora, Pedro
article
15-Aug-2016
Continuity as a computational effect
Neves, Renato
;
Barbosa, Luis S.
;
Hofmann, Dirk
;
Martins, Manuel A.
article
2015
Completeness and decidability results for hybrid(ised) logics
Neves, Renato
;
Martins, Manuel A.
;
Barbosa, Luís S.
bookPart
Aug-2016
An exercise on the generation of many-valued dynamic logics
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
article
14-Mar-2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, Luis S.
article
11-Dec-2017
Asymmetric Combination of Logics is Functorial: A Survey
Neves, Renato
;
Madeira, Alexandre
;
Barbosa, Luís
;
Martins, Manuel A.
bookPart
15-Dec-2016
A method for rigorous design of reconfigurable systems
Madeira, Alexandre
;
Neves, Renato
;
Barbosa, Luís S.
;
Martins, Manuel A.
article
Results 1-9 of 9 (Search time: 0.003 seconds).
previous
1
next
Discover
Author
7
Martins, Manuel A.
5
Madeira, Alexandre
3
Barbosa, Luís S.
3
Hofmann, Dirk
2
Barbosa, Luis S.
2
Nora, Pedro
1
Barbosa, Luís
Subject
3
Hybrid logic
2
Coalgebra
2
Completeness
2
Decidability
1
Action lattice
1
Asymmetric combination
1
Codirected limit
1
Components
1
Control theory
1
Copresentable object
.
next >
Date issued
1
2019
1
2018
1
2017
4
2016
2
2015