The following pages link to (Q4036568):
Displaying 8 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)
- Poset properties of complex traces (Q5096837) (← links)
- Asynchronous cellular automata for infinite traces (Q5204349) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)