Q5875347 (Q5875347): Difference between revisions

@@ 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