Generalized Model-Checking Problems for First-Order Logic.

Martin Grohe

Browse the full STACS paper archive.