The following pages link to (Q4036568):
Displayed 4 items.
- The poset of infinitary traces (Q689293) (← links)
- An extension of Kleene's and Ochmański's theorems to infinite traces (Q1318685) (← links)
- A Kleene-like characterization of languages accepted by systolic tree automata (Q1333404) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)