TY  - JOUR
AU  - Heintz, Joos
AU  - Roy, Marie-Françoise
AU  - Solerno, Pablo
TI  - Sur la complexité du principe de Tarski-Seidenberg
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1989
SP  - 103
EP  - 120
IS  - 4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1989___4_103_0/
LA  - fr
ID  - PSMIR_1989___4_103_0
ER  -