Autor der Publikation

Quantifiers Closed Under Partial Polymorphisms.

, und . CSL, Volume 288 von LIPIcs, Seite 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Bounded degree and planar spectra., und . CoRR, (2016)Separating Graph Logic from MSO., und . FoSSaCS, Volume 5504 von Lecture Notes in Computer Science, Seite 63-77. Springer, (2009)Parameterized Complexity Classes under Logical Reductions., und . MFCS, Volume 5734 von Lecture Notes in Computer Science, Seite 258-269. Springer, (2009)Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers., und . ICALP (2), Volume 7392 von Lecture Notes in Computer Science, Seite 67-78. Springer, (2012)The Complexity of Satisfaction on Sparse Graphs.. IPEC, Volume 6478 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2010)On the Bisimulation Invariant Fragment of Monadic S1 in the Finite., und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 224-236. Springer, (2004)Fixed-parameter Tractable Distances to Sparse Graph Classes., und . IPEC, Volume 43 von LIPIcs, Seite 236-247. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Constructing Hard Examples for Graph Isomorphism., und . J. Graph Algorithms Appl., 23 (2): 293-316 (2019)Logical properties of random graphs from small addable classes., und . Log. Methods Comput. Sci., (2019)Quantifiers Closed Under Partial Polymorphisms., und . CSL, Volume 288 von LIPIcs, Seite 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)