Pages that link to "Item:Q1205183"
From MaRDI portal
The following pages link to On the synthesis of function inverses (Q1205183):
Displaying 4 items.
- Inverse image analysis generalises strictness analysis (Q751835) (← links)
- Improving recursive functions by inverting the order of evaluation (Q1193746) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- Categories, relations and dynamic programming (Q4286530) (← links)