Browsing by Author "4b90e949-ae24-4c7b-b9ab-38e1efcfea5a"
Now showing items 1-1 of 1
-
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 ...