Pages that link to "Item:Q3395099"

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

Displaying 13 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)
• On Simon's congruence closure of a string (Q2112187) (← links)
• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
• Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
• Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
• Two Variable vs. Linear Temporal Logic in Model Checking and Games (Q3090852) (← 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)