MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Algorithmic Meta Theorems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Model theory makes formulas large
by Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt — 2007 — In Proceedings of the 34th International Colloquium on Automata, Languages and Programming
… is an essential ingredient in several algorithmic meta theorems for first order logic. Our result has direct…
Cited by 1 (1 self) – Add To MetaCart

Clique-width: On the Price of Generality ∗
by Saket Saurabh
… that some of the algorithmic meta-theorems for treewidth can be carried over to graphs of bounded clique…
Add To MetaCart

Contributions to Parameterized Complexity
by Catherine Mccartin — 2003
… . . . . . . . . . . . . . . 18 2.2.3 Dynamic programming on tree decompositions . . . . . . . . . 21 2.3 Algorithmic meta-theorems…
Cited by 4 (3 self) – Add To MetaCart

Approximation schemes for firstorder definable optimisation problems
by Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt — 2006 — In Proc. LICS’06
…, for example, to monadic second-order logic (cf. Example 11). We see our result as an algorithmic meta theorem…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB