The following pages link to (Q3741086):
Displaying 8 items.
- Degrees of asynchronously automaton transformations (Q647840) (← links)
- Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632) (← links)
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- A property of the Schützenberger product (Q1089109) (← links)
- On generators of rational \(\omega\)-power languages (Q1095674) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- Algebraic properties of the shuffle over \(\omega\)-trajectories (Q1603372) (← links)
- Infinite games on finite graphs using grossone (Q2156891) (← links)
