1. Published
   Counting Complexity for Reasoning in Abstract Argumentation

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

2. E-pub ahead of print
   Logical characterizations of algebraic circuit classes over integral domains

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

3. Published
   Submodel Enumeration for CTL Is Hard

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

View all (206)