Pages that link to "Item:Q5096869"
From MaRDI portal
The following pages link to Solving polynomial fixed point equations (Q5096869):
Displaying 8 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Group axioms for iteration (Q1283821) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- On diagonal fixed points of increasing functions (Q1960542) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- (Q4558787) (← links)
- (Q5014444) (← links)
