16 citations · 39 across the 13 of their papers we have counts for
1 paper · 2 filters
Achim Blumensath, Bruno Courcelle
We study the question of whether, for a given class of finite graphs, one can define, for each graph of the class, a linear ordering in monadic second-order logic, possibly with th…