Pages that link to "Item:Q4286530"
From MaRDI portal
The following pages link to Categories, relations and dynamic programming (Q4286530):
Displaying 6 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- Partiality. II: Constructed relation algebras (Q1931901) (← links)
- List partitions (Q2366166) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Adding design strategies to fork algebras (Q6570934) (← links)
