Methods for Algorithmic Meta Theorems

Martin Grohe, Stephan Kreutzer. Methods for Algorithmic Meta Theorems. In Martin Grohe, Johann A. Makowsky, editors, Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Washington, DC, USA, January 5-8, 2009. Volume 558 of Contemporary Mathematics, pages 181-206, American Mathematical Society, 2009.

Abstract

Abstract is missing.