Projekte
Ein logischer Ansatz zur Quantenmechanik und Quantenkontextualität
Virtema, J. T. (Projektleiter*in (Principal Investigator))
1 Nov. 2020 → 31 Okt. 2023
Projekt: Forschung
Deskriptive Komplexität von parametrisierten Zählproblemen (Projektbezogener Personenaustausch Indien)
Meier, A. (Projektleiter*in (Principal Investigator)), Rao, B. V. R. (Leitende*r Forscher*in (Co-Principal Investigator)), Haak, A. (Projektmitarbeiter*in), Müller, F. (Projektmitarbeiter*in) & Prakash, O. (Projektleiter*in (Principal Investigator))
1 Jan. 2018 → 31 Dez. 2019
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
Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)
1 Okt. 2013 → 31 Juli 2022
Projekt: Forschung