Pages that link to "Item:Q418134"
From MaRDI portal
The following pages link to A coalgebraic perspective on linear weighted automata (Q418134):
Displayed 13 items.
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Context-free coalgebras (Q2341705) (← links)
- Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
- Equations and Coequations for Weighted Automata (Q2946360) (← links)
- (Q2980965) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)