Alexandre Boudet, Hubert Comon. Diophantine Equations, Presburger Arithmetic and Finite Automata. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 30-43, Springer, 1996.
@inproceedings{BoudetC96, title = {Diophantine Equations, Presburger Arithmetic and Finite Automata}, author = {Alexandre Boudet and Hubert Comon}, year = {1996}, researchr = {https://researchr.org/publication/BoudetC96}, cites = {0}, citedby = {0}, pages = {30-43}, booktitle = {Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings}, editor = {Hélène Kirchner}, volume = {1059}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61064-2}, }