3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Michael Elberfeld, Martin Grohe, Till Tantau
We study on which classes of graphs first-order logic (FO) and monadic second-order logic (MSO) have the same expressive power. We show that for all classes C of graphs that are cl…