Login / Signup

A Type System for Weighted Automata and Rational Expressions.

Akim DemailleAlexandre Duret-LutzSylvain LombardyLuca SaiuJacques Sakarovitch
Published in: CIAA (2014)
Keyphrases