Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael
(2021)
Deciding FO-definability of regular languages.
RAMICS 2021: International Conference on Relational and Algebraic Methods in Computer Science,
2021,
Marseille, France