Pages that link to "Item:Q4630272"
From MaRDI portal
The following pages link to Logical definability on infinite traces (Q4630272):
Displaying 5 items.
- Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
- An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
- Languages and logical definability in concurrency monoids (Q6560171) (← links)
