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 11 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)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← 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)
- Tree Automata and Automata on Linear Orderings (Q3625696) (← links)
- (Q4302996) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- Logic and rational languages of scattered and countable series-parallel posets (Q5919278) (← links)