The following pages link to (Q3746904):
Displayed 11 items.
- On the concatenation of infinite traces (Q685439) (← links)
- The poset of infinitary traces (Q689293) (← 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)
- Matrix and matricial iteration theories. II (Q2366692) (← links)
- Infinite Arrays and Domino Systems (Q3438930) (← links)