The following pages link to (Q4273429):
Displaying 14 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Embedding mappings and splittings with applications (Q968275) (← 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)
- On regularity in software design (Q1899136) (← links)
- A relational calculus for program construction by parts (Q1916368) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- Relational Heterogeneity Relaxed by Subtyping (Q3007588) (← links)
- Formal specification synthesis for relational database model (Q3156874) (← links)
- Nondeterministic Fuzzy Operators (Q3459759) (← links)
- RALL: Machine-supported proofs for relation algebra (Q5234720) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712443) (← links)