50 citations · 111 across the 24 of their papers we have counts for
Showing 2014 · cs.FLShow all
2 papers · 2 filters
cs.FL2014★ 1 cited
Going higher in the First-order Quantifier Alternation Hierarchy on Words
Thomas Place, Marc Zeitoun
We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in…
cs.FL2014★ 50 cited
Separating Regular Languages with First-Order Logic
Thomas Place, Marc Zeitoun
Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regul…