Dynamic Complexity of Parity Exists Queries

Nils Vortmeier, Thomas Zeume. Dynamic Complexity of Parity Exists Queries. In Maribel Fernández, Anca Muscholl, editors, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Volume 152 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.