%0 Journal Article %1 journals/corr/FiliotMR17 %A Filiot, Emmanuel %A Mazzocchi, Nicolas %A Raskin, Jean-François %D 2017 %J CoRR %K %T Decidable Weighted Expressions with Presburger Combinators. %U http://dblp.uni-trier.de/db/journals/corr/corr1706.html#FiliotMR17 %V abs/1706.08855

@article{journals/corr/FiliotMR17, added-at = {2023-12-12T17:43:34.000+0100}, author = {Filiot, Emmanuel and Mazzocchi, Nicolas and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/224b35ef1e47cab8cb395985c63c456b4/admin}, ee = {http://arxiv.org/abs/1706.08855}, interhash = {07d3bc5ec93ce8b26b791f7c473a156b}, intrahash = {24b35ef1e47cab8cb395985c63c456b4}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:43:34.000+0100}, title = {Decidable Weighted Expressions with Presburger Combinators.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1706.html#FiliotMR17}, volume = {abs/1706.08855}, year = 2017 }