Pages that link to "Courcelle's theorem"
From HandWiki
The following pages link to Courcelle's theorem:
Displayed 14 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Logic of graphs (← links)
- Monadic second-order logic (← links)
- Tree automaton (← links)
- Trémaux tree (← links)
- Clique-width (← links)
- Treewidth (← links)
- Distance-hereditary graph (← links)
- Halin graph (← links)
- Cograph (← links)
- K-outerplanar graph (← links)
- Monochromatic triangle (← links)
- Büchi-Elgot-Trakhtenbrot theorem (← links)
- S2S (mathematics) (← links)
- Philosophy:Second-order logic (← links)