The following pages link to (Q4580203):
Displaying 9 items.
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- (Q3156501) (← links)
- (Q5109522) (← links)
- (Q5111267) (← links)
- Minimizing Generalized Büchi Automata (Q5756738) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Minimization of automata for liveness languages (Q6160912) (← links)
- Minimisation in logical form (Q6612779) (← links)