Parameterized Complexity of First-Order Logic

Stephan Kreutzer, Anuj Dawar. Parameterized Complexity of First-Order Logic. Electronic Colloquium on Computational Complexity (ECCC), 16:131, 2009. [doi]

Abstract

Abstract is missing.