@inproceedings{magaud:hal-01518660, TITLE = {{Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations}}, AUTHOR = {Magaud, Nicolas}, URL = {https://inria.hal.science/hal-01518660}, BOOKTITLE = {{CoqPL 2017: The Third International Workshop on Coq for Programming Languages}}, ADDRESS = {Paris, France}, YEAR = {2017}, MONTH = Jan, KEYWORDS = {Coq ; ssreflect ; omega}, PDF = {https://inria.hal.science/hal-01518660/file/ssr_omega.pdf}, HAL_ID = {hal-01518660}, HAL_VERSION = {v1}, }