( en | de | ru )

 

Disambiguation of "Schindler, Irina"

Author of the publication

copydeleteadd this publication to your clipboard
Default Logic and Bounded Treewidth.

, , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irina Bavykina

Investigation of ZnWO_1tn4 and CaMoO_1tn4 as target materials for the CRESST-II dark matter search. Uni München, (2009)

Irina Stojanovi

Irina Gillwald

Irina Lokteva

Irina Gradinari

 

Other publications of authors with the same name

Default Logic and Bounded Treewidth., , and . LATA, volume 10792 of Lecture Notes in Computer Science, page 130-142. Springer, (2018)Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies., , and . Electron. Colloquium Comput. Complex., (2014)Default logic and bounded treewidth., , and . Inf. Comput., (2022)Default Logic and Bounded Treewidth., , and . CoRR, (2017)Strong Backdoors for Default Logic., , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 45-59. Springer, (2016)Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem., , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 549-560. Springer, (2015)Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem., , and . CoRR, (2014)