Pages that link to "Item:Q1077919"
From MaRDI portal
The following pages link to Relational heuristics for the design of deterministic programs (Q1077919):
Displaying 13 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- On the lattice of specifications: Applications to a specification methodology (Q1205187) (← links)
- Relation-based semantics for concurrency (Q1328556) (← links)
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs (Q1961862) (← links)
- Heuristic search for invariants for one class of programs. 6 (Q1974332) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- Nondeterministic Fuzzy Operators (Q3459759) (← links)
- A sweep-plane algorithm for generating random tuples in simple polytopes (Q4210961) (← links)