Pages that link to "Item:Q2912759"

The following pages link to The Join Levels of the Trotter-Weil Hierarchy Are Decidable (Q2912759):

Displaying 4 items.

• The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
• One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy (Q5740189) (← links)