Leibniz Universität Hannover Faculty Faculty of Electrical Engineering and Computer Science
Deutsch Contact Deutsch
Theoretical Computer Science
 
Institute of Theoretical Computer Science Research
Projects
Arithmetic and Boolean Complexity
Nonclassical Logics: Parameterised Complexity and Enumeration
Parameterised Complexity of Nonclassical Logics
Descriptive Complexity of Parameterised Counting Problems

Projects

Within the scope of our key research areas we currently work on the following projects with external funding.

You can find information on our key research areas here
Key Research Areas

Last Change: 12.09.22 Print

Contact us
Contact