Deciding Definability by Deterministic Regular Expressions.

Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens

Browse the full FOSSACS paper archive.