Pages that link to "Item:Q673910"
From MaRDI portal
The following pages link to A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\) (Q673910):
Displaying 5 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- The closure of monadic NP (Q1577017) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- The monadic quantifier alternation hierarchy over grids and graphs (Q2506497) (← links)