The following pages link to (Q2723894):
Displaying 10 items.
- On graph reasoning (Q731892) (← links)
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics (Q765524) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- Sufficiency Conditions for Bokut' Normal Forms (Q3098174) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- (Q3680315) (← links)
- (Q4036174) (← links)
- Reasoning with Graphs (Q4917998) (← links)