The following pages link to (Q3698327):
Displayed 28 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Logical definability on infinite traces (Q672860) (← links)
- The poset of infinitary traces (Q689293) (← links)
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- First-order logic and star-free sets (Q1088982) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- Etude syntaxique des parties reconnaissables de mots infinis. (Syntactic study of recognizable parts of infinite words) (Q1105050) (← links)
- Varieties of finite monoids and Büchi-McNaughton theorem (Q1193885) (← links)
- Rabin tree automata and finite monoids (Q1341736) (← links)
- On projective and separable properties (Q1389766) (← links)
- Wreath product and infinite words (Q1587974) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- Quantum \(\omega\)-automata over infinite words and their relationships (Q1741054) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Star-free sets of words on ordinals (Q1854423) (← links)
- Towards a language theory for infinite N-free pomsets. (Q1874399) (← links)
- Weighted tree automata with constraints (Q2164002) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Quantifier Alternation for Infinite Words (Q2811342) (← links)
- Characterizing classes of regular languages using prefix codes of bounded synchronization delay (Q4588867) (← links)
- Logical definability on infinite traces (Q4630272) (← links)
- (Q5090969) (← links)
- Weighted tree automata with constraints (Q6151146) (← links)
- On the translation of automata to linear temporal logic (Q6181926) (← links)
- First-order separation over countable ordinals (Q6181932) (← links)
- Solving the Weighted HOM-Problem With the Help of Unambiguity (Q6204136) (← links)