Parameterized Complexity of Fixed-Variable Logics

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

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (2014)
Contribution to a book, Contribution to a conference proceedings

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