Pages that link to "Item:Q1919768"
From MaRDI portal
The following pages link to Arity and alternation in second-order logic (Q1919768):
Displaying 11 items.
- Model-checking hierarchical structures (Q414908) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Data exchange and schema mappings in open and closed worlds (Q532371) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Tree-width and the monadic quantifier hierarchy. (Q1401360) (← 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)
- Truth definitions in finite models (Q5311718) (← links)
- On spectra of sentences of monadic second order logic with counting (Q5311744) (← links)
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)
