Travelled to:
1 × Germany
Collaborated with:
A.Demaille A.Duret-Lutz S.Lombardy J.Sakarovitch
Talks about:
automata (1) express (1) weight (1) system (1) ration (1) type (1)
Person: Luca Saiu
DBLP: Saiu:Luca
Contributed to:
Wrote 1 papers:
- CIAA-2014-DemailleDLSS #automaton #type system
- A Type System for Weighted Automata and Rational Expressions (AD, ADL, SL, LS, JS), pp. 162–175.