56 citations · 105 across the 22 of their papers we have counts for
1 paper · 2 filters
Thomas Colcombet, Christof Löding
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas wit…