Quantifiers Closed Under Partial Polymorphisms

Anuj Dawar, Lauri Hella. Quantifiers Closed Under Partial Polymorphisms. In Aniello Murano, Alexandra Silva 0001, editors, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. Volume 288 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.