The following pages link to (Q4091917):
Displaying 34 items.
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- An Algebra of Automata That Includes Both Classical and Quantum Entities (Q2825378) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- Unique, guarded fixed points in an additive setting (Q2842814) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- From Coalgebraic to Monoidal Traces (Q2919453) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Iteration Semirings (Q3532996) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- Relative complexity of algebras (Q3928239) (← links)
- Topology and logic as a source of algebra (Q4087978) (← links)
- Generalizing Substitution (Q4460688) (← links)
- A complete proof system for Nested Term Graphs (Q4645805) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- A note on Coinduction and Weak Bisimilarity for While Programs (Q4943550) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q4968384) (← links)
- (Q5009436) (← links)
- Processes with multiple entries and exits (Q5055885) (← links)
- Finiteness and rational sequences, constructively (Q5372009) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
- Semantic models for total correctness and fairness (Q5887518) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- The algebra of stream processing functions (Q5941194) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
