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]

Authors

Wojciech Czerwinski

This author has not been identified. Look up 'Wojciech Czerwinski' in Google

Claire David

This author has not been identified. Look up 'Claire David' in Google

Katja Losemann

This author has not been identified. Look up 'Katja Losemann' in Google

Wim Martens

This author has not been identified. Look up 'Wim Martens' in Google