Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "89b9619b-be3a-4d02-bd33-85cde873f9e3"

Auflistung Fakultät für Elektrotechnik und Informatik nach Autor/in "89b9619b-be3a-4d02-bd33-85cde873f9e3"

Sortiert nach: Sortierung: Ergebnisse:

  • Descriptive complexity of #AC0 functions 
    Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert (Saarbrücken : Dagstuhl Publishing, 2016)
    We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...
  • 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 ...
  • Parameterised Counting in Logspace 
    Haak, Anselm; Meier, Arne; Prakash, Om; Rao, B. V. Raghavendra (New York, NY : Springer, 2023)
    Logarithmic space-bounded complexity classes such as L and NL play a central role in space-bounded computation. The study of counting versions of these complexity classes have lead to several interesting insights into the ...

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken