44 citations · 138 across the 18 of their papers we have counts for
1 paper · 2 filters
Antoine Amarilli, Pierre Bourhis, Pierre Senellart
Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been…