The following pages link to (Q3746904):
Displaying 13 items.
- On the concatenation of infinite traces (Q685439) (← links)
- The poset of infinitary traces (Q689293) (← links)
- A power-set construction for reducing Büchi automata to non-determinism degree two (Q845908) (← links)
- On automata on infinite trees (Q1186604) (← links)
- \(X\)-automata on \(\omega\)-words (Q1210539) (← links)
- On deciding trace equivalences for processes (Q1310916) (← links)
- Extension of the automaton specification logical language and the synthesis problem (Q1385765) (← links)
- On syntactic congruences for \(\omega\)-languages (Q1391139) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Set constraints and topology (Q1603373) (← links)
- Shift-invariant topologies for the Cantor space \(X^{\omega}\) (Q2357113) (← links)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Infinite Arrays and Domino Systems (Q3438930) (← links)
