The following pages link to The logic of recursive equations (Q4212915):
Displaying 8 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Group axioms for iteration (Q1283821) (← links)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- (Q4558787) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Parametric corecursion (Q5941163) (← links)