Pages that link to "Item:Q2908834"
From MaRDI portal
The following pages link to Special tree-width and the verification of monadic second-order graph properties (Q2908834):
Displaying 7 items.
- Fly-automata for checking monadic second-order properties of graphs of bounded tree-width (Q324700) (← links)
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- On the model-checking of monadic second-order formulas with edge set quantifications (Q415286) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- Automata for the verification of monadic second-order graph properties (Q1948277) (← links)
- (Q4643961) (← links)