research
∙
07/18/2023
Closing star-free closure
We introduce an operator on classes of regular languages, the star-free ...
share
research
∙
07/18/2023
A generic characterization of generalized unary temporal logic and two-variable first-order logic
We investigate an operator on classes of languages. For each class C, it...
research
∙
02/08/2022
The amazing mixed polynomial closure and its applications to two-variable first-order logic
Polynomial closure is a standard operator which is applied to a class of...
research
∙
04/24/2018
