MaRDI QIDQ5028484
Michał Pilipczuk, Mikołaj Bojańczyk
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/1701.06937
zbMATH Keywords
treewidth; tree decomposition; transduction; MSO
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science