The following pages link to (Q4218153):
Displaying 5 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)
- Recognizable vs. Regular Picture Languages (Q3522862) (← links)
- Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures (Q5958302) (← links)
