Deciding definability by deterministic regular expressions

Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens. Deciding definability by deterministic regular expressions. J. Comput. Syst. Sci., 88:75-89, 2017. [doi]

Bibliographies