Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Dušan Knop ; Martin Koutecký ; Tomáš Masařík ; Tomáš Toufar
Logical methods in computer science, 2019-12, Vol.15, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.V
Texto completo disponível