Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Schaltkreiskomplexität

Die Feinstruktur von Komplexitätsklassen, die über Schaltkreise kleiner Tiefe definiert sind (also NC1, SAC1 und Teilklassen) soll untersucht werden. Dabei soll insbesondere auf Mittel aus der Logik (Beschreibungskomplexität und Theorie endlicher Modelle) und Algebra (Gruppoidtheorie und algebraische Automatentheorie) zurückgegriffen werden.

Circuits, Logic, and Games (Dagstuhl-Seminar)

Logic and Circuit Complexity

Introduction to Circuit Complexity

Ausgewählte Publikationen