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 ...