Pages that link to "Item:Q5633654"
From MaRDI portal
The following pages link to Another recursion induction principle (Q5633654):
Displayed 6 items.
- Least fixed points revisited (Q1234588) (← links)
- On some classes of interpretations (Q1251892) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- On transformations of programs (Q1393935) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
- Current methods for proving program correctness (Q3911363) (← links)