Pages that link to "Item:Q1941862"
From MaRDI portal
The following pages link to Towards a linear algebra of programming (Q1941862):
Displayed 10 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- Gaussian elimination is not optimal, revisited (Q2374312) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Relations in linear algebra (Q2401016) (← links)
- Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)