Pages that link to "Item:Q3190170"
From MaRDI portal
The following pages link to Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata (Q3190170):
Displaying 11 items.
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- (Q4637688) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5214815) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)