Parameterized Complexity and Logic

Abstract:

We introduce and discuss some basic concepts of parameterized complexity
theory via model-checking problems.