The following pages link to (Q4273429):
Displaying 7 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- ER modelling from first relational principles (Q1884937) (← links)
- Nondeterministic Fuzzy Operators (Q3459759) (← links)
- RALL: Machine-supported proofs for relation algebra (Q5234720) (← links)
