1 - 4 out of 4Page size: 20

• 10
• 20
• 40
• 80
• 160

Sort by: Start date

• Title
• Start date
• End date

Projects

1. Logical approach to quantum mechanics and contextuality

   Virtema, J. T.

   1 Nov 2020 → 31 Oct 2023

   Project: Research

2. Descriptive Complexity of Parameterised Counting Classes (Project-Based Personnel Exchange Programme India)

   Meier, A., Rao, B. V. R., Haak, A., Müller, F. & Prakash, O.

   1 Jan 2018 → 31 Dec 2019

   Project: Research

3. 34th International Symposium on Theoretical Aspects of Computer Science (STACS) 2017, Hannover, 08.03.17 - 11.03.17

   Vollmer, H.

   27 Sept 2016 → 31 Mar 2017

   Project: Research

4. Nonclassical logics: parametrised and enumeration complexity

   Meier, A., Mahmood, Y. & Schindler, I.

   1 Oct 2013 → 31 Jul 2022

   Project: Research