TY  - RPRT
TI  - Decidable Weighted Expressions with Presburger Combinators
AU  - Emmanuel Filiot
AU  - Nicolas Mazzocchi
AU  - Jean-François Raskin
PY  - 2017
UR  - https://arxiv.org/abs/1706.08855
ID  - 1706.08855
ER  -