Derived-Term Automata for Extended Weighted Rational Expressions.

Akim Demaille

Browse the full ICTAC paper archive.