The following pages link to (Q5214815):
Displayed 5 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)