Pages that link to "Item:Q5964015"

The following pages link to Computations by fly-automata beyond monadic second-order logic (Q5964015):

Displayed 8 items.

• Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) ‎ (← links)
• Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) ‎ (← links)
• Grammars and clique-width bounds from split decompositions (Q2174558) ‎ (← links)
• On quasi-planar graphs: clique-width and logical description (Q2174559) ‎ (← links)
• On defining linear orders by automata (Q2211260) ‎ (← links)
• Vector domination in split-indifference graphs (Q2281167) ‎ (← links)
• From tree-decompositions to clique-width terms (Q2413974) ‎ (← links)
• Clique-width of point configurations (Q5918571) ‎ (← links)