@article{Filiot_2019,
doi = {10.1016/j.jcss.2019.05.005},
url = {https://doi.org/10.1016%2Fj.jcss.2019.05.005},
year = {2019},
month = {dec},
publisher = {Elsevier {BV}},
volume = {106},
pages = {1--22},
author = {Emmanuel Filiot and Nicolas Mazzocchi and Jean-Fran{\c{c}}ois Raskin},
title = {Decidable weighted expressions with Presburger combinators},
journal = {Journal of Computer and System Sciences}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A