24 citations · 63 across the 14 of their papers we have counts for
1 paper · 1 filter
Andreas Krebs, Howard Straubing
We give a simple new proof that regular languages defined by first-order sentences with no quantifier alteration can be defined by such sentences in which only regular atomic formu…