(en) Hubert Garavel « On the Most Suitable Axiomatization of Signed Integers » () (DOI10.1007/978-3-319-72044-9_9, lire en ligne) —Post-proceedings of the 23rd International Workshop on Algebraic Development Techniques (WADT'2016) — « (ibid.) », dans Lecture Notes in Computer Science, vol. 10644, Springer, p. 120-134
inria.fr
hal.inria.fr
(en) Hubert Garavel « On the Most Suitable Axiomatization of Signed Integers » () (DOI10.1007/978-3-319-72044-9_9, lire en ligne) —Post-proceedings of the 23rd International Workshop on Algebraic Development Techniques (WADT'2016) — « (ibid.) », dans Lecture Notes in Computer Science, vol. 10644, Springer, p. 120-134