TY  - RPRT
TI  - Quantifier elimination in quasianalytic structures via non-standard analysis
AU  - Krzysztof Jan Nowak
PY  - 2015
UR  - https://arxiv.org/abs/1405.2840
ID  - 1405.2840
ER  -