56 citations · 149 across the 22 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.LO2007★ 56 cited
Transforming structures by set interpretations
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…
cs.LO2007★ 2 cited
On factorisation forests
Thomas Colcombet
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, a…