2 papers
cs.LO2026
The role of counting quantifiers in laminar set systems
Rutger Campbell, Noleen Köhler
Laminar set systems consist of non-crossing subsets of a universe with set inclusion essentially corresponding to the descendant relationship of a tree, the so-called laminar tree.…
cs.LO2026
CMSO-transducing tree-like graph decompositions
Rutger Campbell, Bruno Guillon, Mamadou Moustapha Kanté +2
We give -transductions that, given a graph , output its modular decomposition, its split decomposition and its bi-join decomposition. This improves results…