TY  - RPRT
TI  - Some structural complexity results for $\exists\mathbb R$
AU  - Klaus Meer
AU  - Adrian Wurm
PY  - 2025
UR  - https://arxiv.org/abs/2502.00680
ID  - 2502.00680
ER  -