The following pages link to (Q4273661):
Displaying 7 items.
- Axiomatising tree-interpretable structures (Q705058) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Dominating sets whose closed stars form spanning trees (Q1357724) (← links)
- Counting modulo quantifiers on finite structures (Q1854352) (← links)
- The monadic second-order logic of graphs. XV: On a conjecture by D. Seese (Q2494727) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Inductive computations on graphs defined by clique-width expressions (Q5321781) (← links)