Projekte
Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
Meier, A. (Projektleiter*in (Principal Investigator)), Vollmer, H. (Projektmitarbeiter*in), Barlag, T. (Projektmitarbeiter*in), Fröhlich, N. F. H. (Projektmitarbeiter*in), Holzapfel, V. (Projektmitarbeiter*in) & Strieker, L. (Projektmitarbeiter*in)
1 Jan. 2024 → 31 Dez. 2025
Projekt: Forschung
34th International Symposium on Theoretical Aspects of Computer Science (STACS) 2017, Hannover, 08.03.17 - 11.03.17
Vollmer, H. (Projektleiter*in (Principal Investigator))
27 Sept. 2016 → 31 März 2017
Projekt: Forschung
Untersuchungen Arithmetischer und Boole'scher Komplexität von Schaltkreisen kleiner Tiefe
Vollmer, H. (Projektleiter*in (Principal Investigator))
1 Nov. 2015 → 1 Jan. 2019
Projekt: Forschung