An Effective Algorithm for the Membership Problem for Extended Regular Expressions.

Grigore Rosu

Browse the full FOSSACS paper archive.