Haak, Anselm
(Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2021)
In this thesis, we study the descriptive complexity of counting classes based on Boolean circuits.
In descriptive complexity, the complexity of problems is studied in terms of logics required to describe them.
The focus ...