Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Courcelles_theorem> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Courcelles_theorem abstract "In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth. The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by Borie, Parker & Tovey (1992).It is considered the archetype of algorithmic meta-theorems.".
- Courcelles_theorem wikiPageID "35810608".
- Courcelles_theorem wikiPageLength "17529".
- Courcelles_theorem wikiPageOutDegree "48".
- Courcelles_theorem wikiPageRevisionID "681668115".
- Courcelles_theorem wikiPageWikiLink Algorithm.
- Courcelles_theorem wikiPageWikiLink Automata_theory.
- Courcelles_theorem wikiPageWikiLink Binary_tree.
- Courcelles_theorem wikiPageWikiLink Bruno_Courcelle.
- Courcelles_theorem wikiPageWikiLink Cardinality.
- Courcelles_theorem wikiPageWikiLink Category:Graph_algorithms.
- Courcelles_theorem wikiPageWikiLink Category:Graph_minor_theory.
- Courcelles_theorem wikiPageWikiLink Category:Metatheorems.
- Courcelles_theorem wikiPageWikiLink Clique-width.
- Courcelles_theorem wikiPageWikiLink Crossing_number_(graph_theory).
- Courcelles_theorem wikiPageWikiLink Cut_(graph_theory).
- Courcelles_theorem wikiPageWikiLink DSPACE.
- Courcelles_theorem wikiPageWikiLink Database_theory.
- Courcelles_theorem wikiPageWikiLink Deterministic_Turing_machine.
- Courcelles_theorem wikiPageWikiLink Discrete_Morse_theory.
- Courcelles_theorem wikiPageWikiLink Dual_graph.
- Courcelles_theorem wikiPageWikiLink Equivalence_class.
- Courcelles_theorem wikiPageWikiLink Equivalence_relation.
- Courcelles_theorem wikiPageWikiLink Graph_(mathematics).
- Courcelles_theorem wikiPageWikiLink Graph_coloring.
- Courcelles_theorem wikiPageWikiLink Graph_minor.
- Courcelles_theorem wikiPageWikiLink Graph_property.
- Courcelles_theorem wikiPageWikiLink Graph_theory.
- Courcelles_theorem wikiPageWikiLink Grid_graph.
- Courcelles_theorem wikiPageWikiLink Hamiltonian_cycle.
- Courcelles_theorem wikiPageWikiLink Hamiltonian_path.
- Courcelles_theorem wikiPageWikiLink Independent_set_(graph_theory).
- Courcelles_theorem wikiPageWikiLink Knowledge_representation_and_reasoning.
- Courcelles_theorem wikiPageWikiLink L_(complexity).
- Courcelles_theorem wikiPageWikiLink Lattice_graph.
- Courcelles_theorem wikiPageWikiLink Linear_time.
- Courcelles_theorem wikiPageWikiLink Logic_of_graphs.
- Courcelles_theorem wikiPageWikiLink Manifold.
- Courcelles_theorem wikiPageWikiLink Meta-theorem.
- Courcelles_theorem wikiPageWikiLink Metatheorem.
- Courcelles_theorem wikiPageWikiLink Model_checking.
- Courcelles_theorem wikiPageWikiLink Modular_arithmetic.
- Courcelles_theorem wikiPageWikiLink Monadic_second-order_logic.
- Courcelles_theorem wikiPageWikiLink Parameterized_complexity.
- Courcelles_theorem wikiPageWikiLink Quantum_invariant.
- Courcelles_theorem wikiPageWikiLink Quantum_invariants.
- Courcelles_theorem wikiPageWikiLink Robertson–Seymour_theorem.
- Courcelles_theorem wikiPageWikiLink Satisfiability.
- Courcelles_theorem wikiPageWikiLink Satisfiability_problem.
- Courcelles_theorem wikiPageWikiLink Second-order_logic.
- Courcelles_theorem wikiPageWikiLink Simplicial_complex.
- Courcelles_theorem wikiPageWikiLink Space_complexity.
- Courcelles_theorem wikiPageWikiLink Time_complexity.
- Courcelles_theorem wikiPageWikiLink Tree_automaton.
- Courcelles_theorem wikiPageWikiLink Tree_decomposition.
- Courcelles_theorem wikiPageWikiLink Treewidth.
- Courcelles_theorem wikiPageWikiLink Turing_machine.
- Courcelles_theorem wikiPageWikiLink Undecidable_problem.
- Courcelles_theorem wikiPageWikiLinkText "Courcelle's theorem".
- Courcelles_theorem hasPhotoCollection Courcelles_theorem.
- Courcelles_theorem wikiPageUsesTemplate Template:Harvtxt.
- Courcelles_theorem wikiPageUsesTemplate Template:Reflist.
- Courcelles_theorem subject Category:Graph_algorithms.
- Courcelles_theorem subject Category:Graph_minor_theory.
- Courcelles_theorem subject Category:Metatheorems.
- Courcelles_theorem hypernym Statement.
- Courcelles_theorem comment "In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth. The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by Borie, Parker & Tovey (1992).It is considered the archetype of algorithmic meta-theorems.".
- Courcelles_theorem label "Courcelle's theorem".
- Courcelles_theorem sameAs m.0jt8bld.
- Courcelles_theorem sameAs Q5178114.
- Courcelles_theorem sameAs Q5178114.
- Courcelles_theorem wasDerivedFrom Courcelles_theoremoldid=681668115.
- Courcelles_theorem isPrimaryTopicOf Courcelles_theorem.