Blar i University of Bergen Library på tidsskrift "Logical Methods in Computer Science"
Viser treff 1-1 av 1
-
On Supergraphs Satisfying CMSO Properties
(Journal article; Peer reviewed, 2021)Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function f, there is an algorithm A that takes as input a CMSO sentence φ, a positive integer t, and ...