Pages that link to "Item:Q846294"
From MaRDI portal
The following pages link to Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems (Q846294):
Displayed 4 items.
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)
- Quantum algorithm for lexicographically minimal string rotation (Q6151147) (← links)