Derived-Term Automata of Weighted Rational Expressions with Quotient Operators.

Akim Demaille, Thibaud Michaud

Browse the full ICTAC paper archive.