16 citations · 39 across the 13 of their papers we have counts for
1 paper · 1 filter
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…