Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > ALGORITHMIC META THEOREMS:
Reports tagged with algorithmic meta theorems:
TR07-091 | 10th September 2007
Martin Grohe

Logic, Graphs, and Algorithms

Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined in terms of logic and graph theory. An archetypal algorithmic meta theorem is Courcelle's Theorem, which states that all graph properties definable in monadic second-order logic ... more >>>




ISSN 1433-8092 | Imprint