Relativization and Interactive Proof Systems in Parameterized Complexity Theory

Ralph Bottesch. Relativization and Interactive Proof Systems in Parameterized Complexity Theory. In Daniel Lokshtanov, Naomi Nishimura, editors, 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria. Volume 89 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.