Pages that link to "Item:Q3511467"
From MaRDI portal
The following pages link to On a Graph Calculus for Algebras of Relations (Q3511467):
Displaying 15 items.
- On graph reasoning (Q731892) (← links)
- Proofs with graphs (Q1916365) (← links)
- Relational matching for graphical calculi of relations (Q1961869) (← links)
- Calculational proofs in relational graphical linear algebra (Q2038024) (← links)
- Relation graphs of the split-sedenion algebra (Q2202834) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- Graph Automata: The Algebraic Properties of Abelian Relational Graphoids (Q3098038) (← links)
- (Q3338224) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- (Q3745890) (← links)
- (Q4040512) (← links)
- (Q4438945) (← links)