TY  - RPRT
TI  - Quasi-decidability of a Fragment of the First-order Theory of Real Numbers
AU  - Peter Franek
AU  - Stefan Ratschan
AU  - Piotr Zgliczynski
PY  - 2016
UR  - https://arxiv.org/abs/1309.6280
ID  - 1309.6280
ER  -