Sarah Winter, Martin Zimmermann 0002. Logics for Context-Free Hyperproperties. In Michal Koucký 0001, Daniela Petrisan, editors, 51st International Symposium on Mathematical Foundations of Computer Science, MFCS 2026, Paris, France, August 24-28, 2026. Volume 386 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.