Pages that link to "Item:Q4198738"
From MaRDI portal
The following pages link to Star-free regular sets of ω-sequences (Q4198738):
Displaying 30 items.
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← 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)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Process logic with regular formulas (Q1062047) (← links)
- Infinite-word languages and continuous mappings (Q1082087) (← links)
- First-order logic and star-free sets (Q1088982) (← links)
- Brzozowski hierarchy of \(\omega\)-languages (Q1095672) (← links)
- \(\omega\)-languages accepted by finite automata whose structures are cascade products o resets (Q1183179) (← links)
- Varieties of finite monoids and Büchi-McNaughton theorem (Q1193885) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Star free expressions over the reals (Q1575940) (← links)
- Logic over words on denumerable ordinals (Q1604197) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Characterization of \(\omega\)-regular languages by monadic second-order formulas (Q1822511) (← links)
- Expressive completeness of duration calculus. (Q1854330) (← links)
- Star-free sets of words on ordinals (Q1854423) (← links)
- Towards a language theory for infinite N-free pomsets. (Q1874399) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- On weighted first-order logics with discounting (Q2453983) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- (Q5090969) (← links)
- (Q5092424) (← links)
- A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I (Q5321775) (← links)
- A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II (Q5321776) (← links)
- A first-order logic characterization of safety and co-safety languages (Q6135783) (← links)
- Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression (Q6198088) (← links)
