Pages that link to "Item:Q1401360"
From MaRDI portal
The following pages link to Tree-width and the monadic quantifier hierarchy. (Q1401360):
Displaying 6 items.
- Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking (Q395003) (← links)
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Are there any good digraph width measures? (Q896003) (← links)
- Counting truth assignments of formulas of bounded tree-width or clique-width (Q2473047) (← links)
- On the parameterized intractability of monadic second-order logic (Q2881095) (← links)
- On spectra of sentences of monadic second order logic with counting (Q5311744) (← links)