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):
Displayed 6 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)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Normal forms for binary relations (Q2503327) (← links)