The following pages link to (Q3763567):
Displaying 12 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Pair algebras and Galois connections. (Q293350) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- Proof system for weakest prespecification (Q1104780) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Relation algebras as residuated Boolean algebras (Q1312168) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A relational division operator: The conjugate kernel (Q2367540) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
