Pages that link to "Item:Q3538848"
From MaRDI portal
The following pages link to A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848):
Displayed 33 items.
- Language theoretical properties of hairpin formations (Q418760) (← links)
- Fragments of first-order logic over infinite words (Q537914) (← links)
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- A survey on the local divisor technique (Q896673) (← links)
- Level two of the quantifier alternation hierarchy over infinite words (Q1635804) (← links)
- The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
- Separability by piecewise testable languages is \textsc{PTime}-complete (Q1698734) (← links)
- On shuffle products, acyclic automata and piecewise-testable languages (Q1730033) (← links)
- The factorisation forest theorem (Q2074219) (← links)
- First-order logic and its infinitary quantifier extensions over countable words (Q2140479) (← links)
- Measuring power of locally testable languages (Q2164008) (← links)
- The regular languages of wire linear \(\mathrm{AC}^0\) (Q2170278) (← links)
- Omega-rational expressions with bounded synchronization delay (Q2354594) (← links)
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
- On the index of Simon's congruence for piecewise testability (Q2512830) (← links)
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- On FO 2 Quantifier Alternation over Words (Q3182951) (← links)
- The Height of Factorization Forests (Q3599148) (← links)
- Separating regular languages with two quantifier alternations (Q4558789) (← links)
- (Q4989409) (← links)
- Separating Without Any Ambiguity. (Q5002824) (← links)
- (Q5013886) (← links)
- (Q5079753) (← links)
- (Q5090448) (← links)
- (Q5092424) (← links)
- (Q5129940) (← links)
- (Q5155687) (← links)
- One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
- (Q5376657) (← links)
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- On Arch Factorization and Subword Universality for Words and Compressed Words (Q6134881) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)