Pages that link to "Item:Q1311465"
From MaRDI portal
The following pages link to Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report (Q1311465):
Displaying 9 items.
- Kleene under a modal demonic star (Q817579) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Normal design algebra (Q844885) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Calculating a linear-time solution to the densest-segment problem (Q5371958) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
