( en | de | ru )

 

Disambiguierung von "Schindler, Irina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem.

, , und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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 Kuhnke

Irina Markevych

 

Weitere Publikationen von Autoren mit dem selben Namen

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