Pages that link to "Item:Q1961869"
From MaRDI portal
The following pages link to Relational matching for graphical calculi of relations (Q1961869):
Displaying 8 items.
- Simulation relations for pattern matching in directed graphs (Q388784) (← links)
- Proofs with graphs (Q1916365) (← links)
- Calculational proofs in relational graphical linear algebra (Q2038024) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- A graphical representation of relational formulae with complementation (Q2889180) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- An Agg Application Supporting Visual Reasoning1 (Q4921559) (← links)