Pages that link to "Item:Q3395099"

The following pages link to Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Q3395099):

Displaying 20 items.

• On the lattice of sub-pseudovarieties of DA. (Q711615) (← links)
• Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
• The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
• Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275) (← links)
• On Simon's congruence closure of a string (Q2112187) (← links)
• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
• Alternating complexity of counting first-order logic for the subword order (Q2687036) (← links)
• Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words (Q2915709) (← links)
• On the strictness of the quantifier structure hierarchy in first-order logic (Q2930128) (← links)
• Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
• Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
• Bounds for the quantifier depth in finite-variable logics: alternation hierarchy (Q2958513) (← links)
• Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← links)
• Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (Q3608423) (← links)
• (Q5005165) (← links)
• (Q5129940) (← links)
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy (Q5740189) (← links)
• Forbidden Patterns for FO² Alternation Over Finite and Infinite Words (Q6169964) (← links)
• Simon's congruence pattern matching (Q6204538) (← links)
• Matching patterns with variables under Simon's congruence (Q6623024) (← links)