Pages that link to "Item:Q1391734"

The following pages link to The equational logic of fixed points (Q1391734):

Displaying 37 items.

• A connection between concurrency and language theory (Q265802) (← links)
• An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
• Fixed-point calculus (Q674263) (← links)
• Characters and fixed points in provability logic (Q749521) (← links)
• Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
• Fixed points in free process algebras. II (Q913498) (← links)
• Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
• Correctness of fixpoint transformations (Q1329743) (← links)
• Recursion and corecursion have the same equational logic (Q1398467) (← links)
• The multiplicative fragment of the Yanov equational theory (Q1399998) (← links)
• Fixed points in free process algebras. I (Q1822946) (← links)
• On equations for union-free regular languages (Q1854402) (← links)
• Invariant sets and Knaster-Tarski principle (Q1935659) (← links)
• The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
• Axiomatizing rational power series over natural numbers (Q2389332) (← links)
• Inductive semimodules and the vector modules over them. (Q2391239) (← links)
• Unique, guarded fixed points in an additive setting: extended abstract (Q2842814) (← links)
• Properties of fixed point operators in predicate algebras (Q2850213) (← links)
• Fixed points of formulas with double modalities (Q2885299) (← links)
• Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
• Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
• Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
• A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← links)
• (Q3728962) (← links)
• (Q3786010) (← links)
• (Q3974854) (← links)
• Fixed point equations inside the algebra of normal forms (Q4265612) (← links)
• (Q4623261) (← links)
• (Q4737893) (← links)
• THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
• (Q4819375) (← 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)
• Evidence for Fixpoint Logic (Q5351951) (← links)
• Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
• On the Fixpoint Theory of Equality and Its Applications (Q5459195) (← links)
• Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)