Courcelle's theorem

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Theorem Metatheorem Graph algorithm
rdfs:label	Courcelle's theorem
owl:sameAs	dbr:Courcelle's_theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_theorems http://en.wikipedia.org/wiki/Category:Metatheorems http://en.wikipedia.org/wiki/Category:Graph_algorithms
skos:prefLabel	Courcelle's theorem
is clgo:knownFor of	Bruno Courcelle

About: clgr:Courcelle's_theorem