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.
@inproceedings{GroheK09,
title = {Methods for Algorithmic Meta Theorems},
author = {Martin Grohe and Stephan Kreutzer},
year = {2009},
researchr = {https://researchr.org/publication/GroheK09},
cites = {0},
citedby = {0},
pages = {181-206},
booktitle = {Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Washington, DC, USA, January 5-8, 2009},
editor = {Martin Grohe and Johann A. Makowsky},
volume = {558},
series = {Contemporary Mathematics},
publisher = {American Mathematical Society},
isbn = {978-0-8218-4943-9},
}