1 - 5 out of 5Page size: 20
Sort by: Start date
Projects
Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik
Meier, A. (Principal Investigator)
1 Jan 2024 → 31 Dec 2025
Project: Research
Team Logics: New Bridges to Database Repairs
Meier, A. (Principal Investigator)
1 May 2023 → 30 Apr 2026
Project: Research
Projekt Innovation Plus (2020/21); Nummer 097: Komplexität von Algorithmen
Meier, A. (Principal Investigator)
1 Feb 2020 → 30 Sept 2022
Project: Other
Descriptive Complexity of Parameterised Counting Classes (Project-Based Personnel Exchange Programme India)
Meier, A. (Principal Investigator), Rao, B. V. R. (Co-Principal Investigator), Haak, A. (Project staff), Müller, F. (Project staff) & Prakash, O. (Principal Investigator)
1 Jan 2018 → 31 Dec 2019
Project: Research
Nonclassical logics: parametrised and enumeration complexity
Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)
1 Oct 2013 → 31 Jul 2022
Project: Research