The following pages link to (Q3330542):
Displaying 6 items.
- Logical definability on infinite traces (Q672860) (← links)
- Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632) (← links)
- The poset of infinitary traces (Q689293) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- On syntactic congruences for \(\omega\)-languages (Q1391139) (← links)