1. Veröffentlicht
   Counting Complexity for Reasoning in Abstract Argumentation

   Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

2. Elektronisch veröffentlicht (E-Pub)
   Logical characterizations of algebraic circuit classes over integral domains

   Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

3. Veröffentlicht
   Submodel Enumeration for CTL Is Hard

   Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Alles anzeigen (206)