Browsing Faculty of Mathematics and Natural Sciences by Journals "Logical Methods in Computer Science"
Now showing items 1-1 of 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 ...