Pages that link to "Item:Q1825026"

The following pages link to Equational logic of circular data type specification (Q1825026):

Displaying 10 items.

• A connection between concurrency and language theory (Q265802) (← links)
• A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
• Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
• The equational logic of fixed points (Q1391734) (← 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 for regular sets (Q4279247) (← links)
• (Q5203698) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• (Q5751953) (← links)