Q5875347 (Q5875347): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CALCO.2019.7
@@ Property / DOI: 10.4230/LIPIcs.CALCO.2019.7 / rank @@
-Normal rank
@@ Property / author @@
-Yde Venema
@@ Property / author: Yde Venema / rank @@
-Normal rank
@@ Property / author @@
+Yde Venema
@@ Property / author: Yde Venema / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
+Normal rank
@@ Property / cites work @@
+Modal compact Hausdorff spaces
@@ Property / cites work: Modal compact Hausdorff spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875347
@@ Property / cites work: Q5875347 / rank @@
+Normal rank
@@ Property / cites work @@
+Vietoris Bisimulations
@@ Property / cites work: Vietoris Bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+On a categorical framework for coalgebraic modal logic
+Normal rank
@@ Property / cites work @@
+Bisimulations for coalgebras on Stone spaces
@@ Property / cites work: Bisimulations for coalgebras on Stone spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations and Bisimulations for Coalgebraic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q2847811
@@ Property / cites work: Q2847811 / rank @@
+Normal rank
@@ Property / cites work @@
+Neighbourhood Structures: Bisimilarity and Basic Model Theory
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847816
@@ Property / cites work: Q2847816 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic semantics of modal logics: an overview
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic modal logic: soundness, completeness and decidability of local consequence
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CALCO.2019.7
@@ Property / DOI: 10.4230/LIPICS.CALCO.2019.7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875347