Methods for Algorithmic Meta Theorems

  title={Methods for Algorithmic Meta Theorems},
  author={Martin Grohe and Stephan Kreutzer},
Algorithmic meta-theorems state that certain families of algorithmic problems, usually defined in terms of logic, can be solved efficiently. This is a survey of algorithmic meta-theorems, highlighting the general methods available to prove such theorems rather than specific results. 


Publications referenced by this paper.
Showing 1-10 of 43 references

On local and non-local properties, Herbrand Symposium, Logic Colloquium ’81

  • Haim Gaifman
  • (J. Stern, ed.), North Holland,
  • 1982
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…