The regular languages with a neutral letter expressible in first-order l...
We study the dynamic membership problem for regular languages: fix a lan...
A word-to-word function is continuous for a class of languages V
if its ...
We study Monadic Second-Order Logic (MSO) over finite words, extended wi...
We introduce the constrained topological sorting problem (CTS-problem): ...
share