Image/logo of the organisation entitled Institute of Theoretical Computer Science

Institute of Theoretical Computer Science

Organisational unit: Institute

Type of address: Visitor address.
Appelstraße 9a
30167
Hannover
View graph of relations

Latest publications

  1. Published
    Submodel Enumeration for CTL Is Hard

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  2. Published
    Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  3. E-pub ahead of print
    Parameterized complexity of weighted team definability

    Research output: Contribution to journal › Article › Research › peer review

View all (201)

Latest prizes

  1. APFEL - Preis für exzellente Lehre

    Prize

Parent Research Organisation

Organisation type