Pages that link to "Item:Q1391734"
From MaRDI portal
The following pages link to The equational logic of fixed points (Q1391734):
Displayed 8 items.
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- The multiplicative fragment of the Yanov equational theory (Q1399998) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- A NONFINITELY BASED FINITE SEMIRING (Q3502839) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← 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)