Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Bounded distributive lattice expansions | MATHEMATICA SCANDINAVICA |
| 60 | 2004 |
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study | RAIRO - Theoretical Informatics and Applications |
| 39 | 2001 |
A coalgebraic view on positive modal logic | Theoretical Computer Science |
| 11 | 2004 |
Stone coalgebras | Theoretical Computer Science |
| 37 | 2004 |
A universal characterization of the double powerlocale | Theoretical Computer Science |
| 22 | 2004 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY | The Journal of Symbolic Logic |
| 2024 | |
Duality theory for enriched Priestley spaces | Journal of Pure and Applied Algebra |
| 2 | 2023 |
Remarks on hyperspaces for Priestley spaces | Theoretical Computer Science |
| 2 | 2023 |
Enriched Stone-type dualities | Advances in Mathematics |
| 2 | 2018 |
Limits in categories of Vietoris coalgebras | Mathematical Structures in Computer Science |
| 2018 |