Pages that link to "Item:Q2947877"

The following pages link to Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877):

Displaying 4 items.

• The regular languages of wire linear \(\mathrm{AC}^0\) (Q2170278) (← links)
• (Q5376662) (← links)
• Locality and Centrality: The Variety ZG (Q6076180) (← links)
• The amazing mixed polynomial closure and its applications to two-variable first-order logic (Q6649443) (← links)