The following pages link to (Q5214815):
Displaying 8 items.
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata (Q3190170) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5214815) (← links)
- Lowerbounds for Bisimulation by Partition Refinement (Q6135758) (← links)
- Distributed coalgebraic partition refinement (Q6535613) (← links)