The following pages link to Matrices, machines and behaviors (Q2563761):
Displaying 5 items.
- Towards a linear algebra of programming (Q1941862) (← links)
- Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)
- Algebraic dynamical systems in machine learning (Q6181739) (← links)
