Pages that link to "Item:Q3503626"
From MaRDI portal
The following pages link to Logic and Rational Languages of Words Indexed by Linear Orderings (Q3503626):
Displaying 5 items.
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Büchi context-free languages (Q627181) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- MSO-definable Properties of Muller Context-Free Languages Are Decidable (Q2829973) (← links)
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings (Q3605520) (← links)
