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
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
25-May-2018
Enriched Stone-type dualities
Hofmann, Dirk
;
Nora, Pedro
article
2018
Generating the algebraic theory of C(X): the case of partially ordered compact spaces
Hofmann, Dirk
;
Neves, Renato
;
Nora, Pedro
article
2015
Dualities for modal algebras from the point of view of triples
Hofmann, Dirk
;
Nora, Pedro
article
Apr-2019
Limits in categories of Vietoris coalgebras
Hofmann, Dirk
;
Neves, Renato
;
Nora, Pedro
article
23-Dec-2023
A point-free perspective on lax extensions and predicate liftings
Goncharov, Sergey
;
Hofmann, Dirk
;
Nora, Pedro
;
Schröder, Lutz
;
Wild, Paul
article
Oct-2020
Hausdorff coalgebras
Hofmann, Dirk
;
Nora, Pedro
article
Mar-2023
Duality theory for enriched Priestley spaces
Hofmann, Dirk
;
Nora, Pedro
article
2023
Quantitative Hennessy-Milner theorems via notions of density
Forster, Jonas
;
Goncharov, Sergey
;
Hofmann, Dirk
;
Nora, Pedro
;
Schröder, Lutz
;
Wild, Paul
article
21-Apr-2023
Kantorovich functors and characteristic logics for behavioural distances
Goncharov, Sergey
;
Hofmann, Dirk
;
Nora, Pedro
;
Schröder, Lutz
;
Wild, Paul
bookPart
Results 1-9 of 9 (Search time: 0.007 seconds).
previous
1
next
Discover
Author
3
Goncharov, Sergey
3
Schröder, Lutz
3
Wild, Paul
2
Neves, Renato
1
Forster, Jonas
Subject
4
Coalgebra
3
Vietoris functor
2
Dual equivalence
2
Kleisli construction
2
Metric space
2
Quantale-enriched category
2
Quasivariety
1
Behavioural distances
1
Boolean algebra
1
Characteristic modal logics
.
next >
Date issued
4
2023
1
2020
1
2019
2
2018
1
2015