The following pages link to (Q4036568):
Displayed 6 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)
- Logical definability on infinite traces (Q4630272) (← links)
- Asynchronous cellular automata for infinite traces (Q5204349) (← links)