50 citations · 111 across the 24 of their papers we have counts for
Showing 2015 · cs.FLShow all
2 papers · 2 filters
cs.FL2015★ 2 cited
Quantifier Alternation for Infinite Words
Théo Pierron, Thomas Place, Marc Zeitoun
We investigate the expressive power of quantifier alternation hierarchy of first-order logic over words. This hierarchy includes the classes (sentences having at most blo…
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…