23 citations · 79 across the 26 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 6 cited
On FO2 quantifier alternation over words
Manfred Kufleitner, Pascal Weil
We show that each level of the quantifier alternation hierarchy within FO^2[<] -- the 2-variable fragment of the first order logic of order on words -- is a variety of languages. W…
math.GR2009
On the lattice of sub-pseudovarieties of DA
Manfred Kufleitner, Pascal Weil
The wealth of information that is available on the lattice of varieties of bands, is used to illuminate the structure of the lattice of sub-pseudovarieties of DA, a natural general…