1 - 2 out of 2Page size: 20
Sort by: Start date
Projects
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. (Project staff)
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