Pointwise extensions of GSOS-defined operations (Q3005990): Difference between revisions

@@ 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
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+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 @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+A New Representation of the Rational Numbers for Fast Easy Arithmetic
+Normal rank
@@ Property / cites work @@
+Category theory for operational semantics
@@ Property / cites work: Category theory for operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Wreath product and infinite words
@@ Property / cites work: Wreath product and infinite words / rank @@
+Normal rank