Pages that link to "Item:Q1961862"
From MaRDI portal
The following pages link to Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862):
Displayed 5 items.
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)