Pages that link to "Item:Q287006"
From MaRDI portal
The following pages link to Non-deterministic expressions and predicate transformers (Q287006):
Displaying 6 items.
- Semantics of under-determined expressions (Q1911315) (← links)
- Don't care non-determinism in logic program refinement (Q2841262) (← links)
- Deterministic Caterpillar Expressions (Q3503898) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- (Q4281666) (← links)
- Computer Science Logic (Q5311250) (← links)