16 citations · 39 across the 13 of their papers we have counts for
1 paper · 1 filter
Achim Blumensath
We study the question of whether a given regular language of finite trees can be defined in first-order logic. We develop an algebraic approach to address this question and we use…