research
∙
03/11/2022
The Regular Languages of First-Order Logic with One Alternation
The regular languages with a neutral letter expressible in first-order l...
share
research
∙
02/15/2021
Dynamic Membership for Regular Languages
We study the dynamic membership problem for regular languages: fix a lan...
research
∙
02/28/2018
Continuity and Rational Functions
A word-to-word function is continuous for a class of languages V if its ...
research
∙
09/10/2017
Monadic Second-Order Logic with Arbitrary Monadic Predicates
We study Monadic Second-Order Logic (MSO) over finite words, extended wi...
research
∙
07/13/2017
