Irina Schindler

Identifiers

• name variant Irina Schindler 0.60 · backfill

Papers (3)

1. Default Logic and Bounded Treewidth cs.AI · 2017 · author #3
2. Strong Backdoors for Default Logic cs.LO · 2016 · author #3
3. Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem cs.LO · 2014 · author #3

Mentions

• 1410.4044 #3 · backfill · confidence 0.70 Irina Schindler

Frequent Coauthors

• Arne Meier 2 shared papers
• Johannes K. Fichte 2 shared papers
• Markus Hecher 1 shared papers
• Martin L\"uck 1 shared papers