1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2015★ 1 cited
A Transfer Theorem for the Separation Problem
Thomas Place, Marc Zeitoun
We investigate two problems for a class C of regular word languages. The C-membership problem asks for an algorithm to decide whether an input language belongs to C. The C-separati…
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…