35 citations · 102 across the 24 of their papers we have counts for
1 paper · 2 filters
Lukasz Kaiser, Sasha Rubin, Vince Bárány
We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logi…