( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Default Logic and Bounded Treewidth.

, , и . 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.

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 Gradinari

Irina Kuhnke

Irina Vellay

 

Другие публикации лиц с тем же именем

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