Browsing by Author "d6f869ce-53f9-47ea-b987-cdfade59fc29"

Now showing items 1-2 of 2

    • Colouring exact distance graphs of chordal graphs 
      Quiroz Brito, Daniel (Elsevier, 2020)
      For a graph G = (V, E) and positive integer p, the exact distance-p graph G([hp]) is the graph with vertex set V and with an edge between vertices x and y if and only if x and y have distance p. Recently, there has been ...
    • Model-Checking on Ordered Structures 
      Eickmeyer, Kord; van den Heuvel, Jan; Kawarabayashi, Ken-ichi; Kreutzer, Stephan; de Mendez, Patrice Ossona; Pilipczuk, Michael; Quiroz Brito, Daniel; Rabinovich, Roman; Siebertz, Sebastian (ACM, 2020)
      We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable ...