TY - JOUR AU - Choffrut, Christian TI - Deciding whether a relation defined in Presburger logic can be defined in weaker logics JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2008 DA - 2008/// SP - 121 EP - 135 VL - 42 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007047/ UR - https://zbmath.org/?q=an%3A1158.03007 UR - https://www.ams.org/mathscinet-getitem?mr=2382547 UR - https://doi.org/10.1051/ita:2007047 DO - 10.1051/ita:2007047 LA - en ID - ITA_2008__42_1_121_0 ER -