16 citations · 39 across the 13 of their papers we have counts for
1 paper · 2 filters
Achim Blumensath
According to a theorem of Courcelle monadic second-order logic and guarded second-order logic (where one can also quantify over sets of edges) have the same expressive power over t…