Projekte
Ein logischer Ansatz zur Quantenmechanik und Quantenkontextualität
Virtema, J. T.
1 Nov. 2020 → 31 Okt. 2023
Projekt: Forschung
Deskriptive Komplexität von parametrisierten Zählproblemen (Projektbezogener Personenaustausch Indien)
Meier, A., Rao, B. V. R., Haak, A., Müller, F. & Prakash, O.
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
27 Sept. 2016 → 31 März 2017
Projekt: Forschung
Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
Meier, A., Mahmood, Y. & Schindler, I.
1 Okt. 2013 → 31 Juli 2022
Projekt: Forschung