A compositional approach to defining logics for coalgebras (Q703520): Difference between revisions

@@ Property / cites work @@
+On the greatest fixed point of a set functor
@@ Property / cites work: On the greatest fixed point of a set functor / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843720
@@ Property / cites work: Q2843720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843724
@@ Property / cites work: Q2843724 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Q4499303
@@ Property / cites work: Q4499303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843735
@@ Property / cites work: Q2843735 / rank @@
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank