Pages that link to "Item:Q2957895"
From MaRDI portal
The following pages link to Two-variable first order logic with modular predicates over words (Q2957895):
Displaying 9 items.
- Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
- Two-variable Logic with a Between Relation (Q4635866) (← links)
- (Q5101347) (← links)
- The Power of Programs over Monoids in DA (Q5111216) (← links)
- One quantifier alternation in first-order logic with modular predicates (Q5245724) (← links)
- (Q5376662) (← links)
- Automata, Languages and Programming (Q5716803) (← links)
- All about unambiguous polynomial closure (Q6566598) (← links)
- The amazing mixed polynomial closure and its applications to two-variable first-order logic (Q6649443) (← links)