bn:02926844n
Noun Concept
EL
Θεώρημα του Κουρσέλ
EN
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. Wikipedia
Relations
Sources