50 citations · 111 across the 24 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023
Closing star-free closure
Thomas Place, Marc Zeitoun
We introduce an operator on classes of regular languages, the star-free closure. Our motivation is to generalize standard results of automata theory within a unified framework. Giv…
cs.FL2023
A generic characterization of generalized unary temporal logic and two-variable first-order logic
Thomas Place, Marc Zeitoun
We investigate an operator on classes of languages. For each class , it outputs a new class associated with a variant of two-variable first-order logic equipped with…