Müller, Fabian
(Hannover : Institutionelles Repositorium der Leibniz Universität Hannover, 2024)
Descriptive complexity theory is the study of the expressibility of computational
problems in certain logics. Most of the results in this field use (fragments or
extensions of) first-order logic or second-order logic to ...