Complexity Classifications via Algebraic Logic

Reijo Jaakkola, Antti Kuusisto. Complexity Classifications via Algebraic Logic. In Bartek Klin, Elaine Pimentel, editors, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland. Volume 252 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Reijo Jaakkola

This author has not been identified. Look up 'Reijo Jaakkola' in Google

Antti Kuusisto

This author has not been identified. Look up 'Antti Kuusisto' in Google