Bisimilarity of Diagrams (Q5098713): Difference between revisions

@@ Property / cites work @@
+A Coalgebraic Perspective on Minimization and Determinization
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362963
@@ Property / cites work: Q4362963 / rank @@
+Normal rank
@@ Property / cites work @@
+Directed homology theories and Eilenberg-Steenrod axioms
+Normal rank
@@ Property / cites work @@
+Q4608677
@@ Property / cites work: Q4608677 / rank @@
+Normal rank
@@ Property / cites work @@
+Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
+Normal rank
@@ Property / cites work @@
+Q2848133
@@ Property / cites work: Q2848133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebra morphisms subsume open maps
@@ Property / cites work: Coalgebra morphisms subsume open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4286756
@@ Property / cites work: Q4286756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805922
@@ Property / cites work: Q3805922 / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Q4665738
@@ Property / cites work: Q4665738 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3507553
@@ Property / cites work: Q3507553 / rank @@
+Normal rank
@@ Property / cites work @@
+Path category for free. Open morphisms from coalgebras with non-deterministic branching
+Normal rank