Derived-term automata of weighted rational expressions with quotient operators
From MaRDI portal
Publication:1675802
DOI10.1007/978-3-319-67729-3_10zbMath1444.68093OpenAlexW2753963150MaRDI QIDQ1675802
Akim Demaille, Thibaud Michaud
Publication date: 3 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_10
This page was built for publication: Derived-term automata of weighted rational expressions with quotient operators