Auflistung Dissertationen nach Schlagwort "Zählkomplexität"

Auflistung Dissertationen nach Schlagwort "Zählkomplexität"

Sortiert nach: Sortierung: Ergebnisse:

  • Counting and enumerating in first-order team logics 
    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 ...
  • Descriptive complexity of circuit-based counting classes 
    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 ...

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken