Derived-Term Automata for Extended Weighted Rational Expressions

From MaRDI portal
Publication:3179410