Pages that link to "Item:Q2850017"
From MaRDI portal
The following pages link to Model-Checking by Infinite Fly-Automata (Q2850017):
Displaying 6 items.
- Fly-automata for checking monadic second-order properties of graphs of bounded tree-width (Q324700) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Directed NLC-width (Q906393) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- From tree-decompositions to clique-width terms (Q2413974) (← links)
- Computations by fly-automata beyond monadic second-order logic (Q5964015) (← links)
