TY - RPRT TI - On Decidability of the Ordered Structures of Numbers AU - Ziba Assadi AU - Saeed Salehi PY - 2018 DO - 10.1007/s00500-018-3247-1 UR - https://arxiv.org/abs/1709.05157 ID - 1709.05157 ER -