courcelle_theorem (324B)
1 # Courcelle theorem 2 3 by [courcelle] 4 5 Applies to [treelike_data] 6 7 Also: bounded [cliquewidth] if we are given a witness of cliquewidth 8 9 time f(|phi|, width) times linear in the graph 10 11 Up: [theorem] on [monadic_second_order_logic_model_checking], [algorithmic_metatheorem] 12 13 Aliases: Courcelle's theorem 14 15 See also: [treewidth]