Pages that link to "Item:Q1128480"

The following pages link to Equational properties of iteration in algebraically complete categories (Q1128480):

Displaying 22 items.

• A connection between concurrency and language theory (Q265802) (← links)
• Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
• Group axioms for iteration (Q1283821) (← links)
• Completeness of Park induction (Q1391869) (← links)
• Recursion and corecursion have the same equational logic (Q1398467) (← links)
• On the equational definition of the least prefixed point. (Q1401250) (← links)
• Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
• Axiomatizing iteration categories (Q2707234) (← links)
• Unique, guarded fixed points in an additive setting: extended abstract (Q2842814) (← 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)
• Dagger extension theorem (Q3094166) (← links)
• (Q3342632) (← links)
• (Q4783621) (← links)
• <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
• Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
• Categorical rewriting of term-like structures (Q4923533) (← links)
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
• (Q5203698) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• (Q5462267) (← links)