Methods for Algorithmic Meta Theorems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Martin Grohe' in GoogleThis author has not been identified. Look up 'Stephan Kreutzer' in Google

runs on WebDSL