Pages that link to "Item:Q1838028"
From MaRDI portal
The following pages link to A relational approach to the design of deterministic programs (Q1838028):
Displayed 8 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- On fuzzy difunctional relations (Q1129415) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Relational demonic fuzzy refinement (Q2336161) (← links)
- On the Turing completeness of the semantic web (Q2345982) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Study of the diagnosability of automated production systems based on functional graphs (Q2489617) (← links)