TY  - JOUR
AU  - Heintz, Joos
AU  - Roy, Marie-Françoise
AU  - Solernó, Pablo
TI  - Sur la complexité du principe de Tarski-Seidenberg
JO  - Bulletin de la Société Mathématique de France
PY  - 1990
SP  - 101
EP  - 126
VL  - 118
IS  - 1
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/bsmf.2138/
DO  - 10.24033/bsmf.2138
LA  - fr
ID  - BSMF_1990__118_1_101_0
ER  -