Pages that link to "Courcelle's theorem"
Appearance
Showing 18 items.
- Tree automaton (links | edit)
- Second-order logic (links | edit)
- List of theorems (links | edit)
- Cograph (links | edit)
- Monochromatic triangle (links | edit)
- Treewidth (links | edit)
- Monadic second-order logic (links | edit)
- Clique-width (links | edit)
- Distance-hereditary graph (links | edit)
- Halin graph (links | edit)
- Trémaux tree (links | edit)
- Courcelle's theorem (transclusion) (links | edit)
- Nerode Prize (links | edit)
- Bruno Courcelle (links | edit)
- Logic of graphs (links | edit)
- K-outerplanar graph (links | edit)
- Büchi-Elgot-Trakhtenbrot theorem (links | edit)
- S2S (mathematics) (links | edit)