Parameterized Complexity of Fixed-Variable Logics

Berkholz, Christoph (Corresponding author); Elberfeld, Michael (Corresponding author)

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (2014)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) [Elektronische Ressource] / Hrsg.: Venkatesh Raman ; S. P. Suresh
Seite(n)/Artikel-Nr.: 109-120