courcelle_theorem (346B)
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 [courcelle_logspace] 12 13 Up: [theorem] on [monadic_second_order_logic_model_checking], [algorithmic_metatheorem] 14 15 Aliases: Courcelle's theorem 16 17 See also: [treewidth]