Personal information

No personal information available

Activities

Employment (1)

Leibniz University Hannover: Hanover, DE

Employment
Source: Self-asserted source
Irina Schindler

Works (1)

Strong Backdoors for Default Logic

ACM Transactions on Computational Logic
2024-07-31 | Journal article
Contributors: Johannes Klaus Fichte; Arne Meier; Irena Schindler
Source: check_circle
Crossref