The following pages link to (Q5091117):
Displaying 7 items.
- Vectorization hierarchies of some graph quantifiers (Q1568709) (← links)
- Computing linear systems on metric graphs (Q1690779) (← links)
- On the expressive power of linear algebra on graphs (Q2035472) (← links)
- Correction to: ``On the expressive power of linear algebra on graphs'' (Q2035473) (← links)
- Calculational proofs in relational graphical linear algebra (Q2038024) (← links)
- On the expressiveness of \textsc{Lara}: a proposal for unifying linear and relational algebra (Q2084947) (← links)
- On matrices and \(K\)-relations (Q5918484) (← links)