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