Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383): Difference between revisions

@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of iterative monads
@@ Property / cites work: Equational properties of iterative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Elgot theories: a new perspective on the equational properties of iteration
+Normal rank
@@ Property / cites work @@
+On tree coalgebras and coalgebra presentations
@@ Property / cites work: On tree coalgebras and coalgebra presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+On coalgebras over algebras
@@ Property / cites work: On coalgebras over algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+How to Kill Epsilons with a Dagger
@@ Property / cites work: How to Kill Epsilons with a Dagger / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting Distributive Laws
@@ Property / cites work: Presenting Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimulation for coalgebras over order enriched monads
+Normal rank
@@ Property / cites work @@
+On Coalgebras with Internal Moves
@@ Property / cites work: On Coalgebras with Internal Moves / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural equivalences for coalgebras with unobservable moves
+Normal rank
@@ Property / cites work @@
+Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7--10, 1993. Proceedings
+Normal rank
@@ Property / cites work @@
+Iterated distributive laws
@@ Property / cites work: Iterated distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Weak Bisimulation from Recursive Equations over Monads
+Normal rank
@@ Property / cites work @@
+Subsequential transducers: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3--6, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Iterativity for Algebras with Effects
@@ Property / cites work: Complete Iterativity for Algebras with Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Sur une variante des fonctions séquentielles
@@ Property / cites work: Sur une variante des fonctions séquentielles / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic View of ε-Transitions
@@ Property / cites work: A Coalgebraic View of ε-Transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Presheaves as Labelled Transition Systems
+Normal rank