The following pages link to Saturating right congruences (Q3204049):
Displaying 7 items.
- Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632) (← links)
- On syntactic congruences for \(\omega\)-languages (Q1391139) (← links)
- Regular \(\omega\)-languages with an informative right congruence (Q2029605) (← links)
- (Q3384896) (← links)
- On the minimization problem for ω-automata (Q5096909) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Half-positional objectives recognized by deterministic Büchi automata (Q6597970) (← links)
