Pages that link to "Item:Q418134"
From MaRDI portal
The following pages link to A coalgebraic perspective on linear weighted automata (Q418134):
Displayed 23 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)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- Combining semilattices and semimodules (Q2233397) (← 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)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Singular value automata and approximate minimization (Q5108539) (← links)
- (Q5111267) (← 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)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)
- Weighted Automata over Vector Spaces (Q6204126) (← links)