Skip to content

Model-Checking Problems as a Basis for Parameterized Intractability.

Jrg Flum, Martin Grohe

VenueA*LICS
Year2004
ProceedingsLICS

Browse the full LICS paper archive.