Pages that link to "Item:Q5401551"
From MaRDI portal
The following pages link to WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551):
Displayed 5 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- An algebraic framework for minimum spanning tree problems (Q1786562) (← links)
- A linear algebra approach to OLAP (Q2355381) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)