Cookies?
Library Header Image
LSE Research Online LSE Library Services

Items where Author is "Rabinovich, Roman"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Eickmeyer, Kord, Heuvel, Jan van den ORCID: 0000-0003-0897-9148, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Micha, Quiroz, Daniel A., Rabinovich, Roman and Siebertz, Sebastian (2020) Model-checking on ordered structures. ACM Transactions on Computational Logic, 21 (2). ISSN 1529-3785

van den Heuvel, Jan ORCID: 0000-0003-0897-9148, Ossona de Mendez, Patrice, Quiroz, Daniel, Rabinovich, Roman and Siebertz, Sebastian (2017) On the generalised colouring numbers of graphs that exclude a fixed minor. European Journal of Combinatorics, 66. pp. 129-144. ISSN 0195-6698

Conference or Workshop Item

van den Heuvel, Jan ORCID: 0000-0003-0897-9148, Kreutzer, Stephan, Pilipczuk, Michal, Quiroz, Daniel, Rabinovich, Roman and Siebertz, Sebastian (2017) Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017-06-20 - 2017-06-23, Reykjavik, Iceland. (In Press)

This list was generated on Sun Jan 23 06:00:33 2022 GMT.