%0 Journal Article %1 journals/mlq/Mariaule21 %A Mariaule, Nathanaël %D 2021 %J Math. Log. Q. %K dblp %N 4 %P 409-419 %T Expansions of Presburger arithmetic with the exchange property. %U http://dblp.uni-trier.de/db/journals/mlq/mlq67.html#Mariaule21 %V 67

@article{journals/mlq/Mariaule21, added-at = {2022-01-21T00:00:00.000+0100}, author = {Mariaule, Nathanaël}, biburl = {https://www.bibsonomy.org/bibtex/277c56f558929a977e618458604543b3d/dblp}, ee = {https://doi.org/10.1002/malq.202000023}, interhash = {7fb856c046b5c1cce2f8b378fcebd34f}, intrahash = {77c56f558929a977e618458604543b3d}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 4, pages = {409-419}, timestamp = {2024-04-08T17:44:19.000+0200}, title = {Expansions of Presburger arithmetic with the exchange property.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq67.html#Mariaule21}, volume = 67, year = 2021 }