Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

The University of Liverppol
Department of Computer Science

Address Ashton Street
Liverpool L69 3BX
Großbritannien

Liverpool L69 3BX

Projects

Research Grants
- Current projects
  - Taming non-determinism in infinite-state systems using games
    (Applicant Totzke, Patrick )
- Completed projects
  - Approximation Algorithms for Combinatorial Optimization Problems with Packing Constraints
    (Applicant Spoerhase, Joachim )
  - Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens
    (Applicant Wolter, Frank )
Independent Junior Research Groups
- Completed projects
  - Algorithmic Tools for Games with Applications to E-Commerce and Networks
    (Applicant Krysta, Piotr )
Priority Programmes
- Completed projects
  - Amtliche Statistik und Demographie in Deutschland zwischen Staat und Wissenschaft, 1860-1939
    (Applicant Vögele, Jörg )
Research Training Groups
- Completed projects
  - GRK 446: Knowledge Representation
    (Spokesperson Brewka, Gerhard )

© 2024 DFG Disclaimer / Copyright / Privacy Policy