Geodesic
Sur la complexité du principe de Tarski-Seidenberg
Publications de l'Institut de recherche mathématiques de Rennes, Groupe de travail de calcul formel, no. 4 (1989), pp. 103-120 
Heintz, Joos; Roy, Marie-Françoise; Solerno, Pablo. Sur la complexité du principe de Tarski-Seidenberg. Publications de l'Institut de recherche mathématiques de Rennes, Groupe de travail de calcul formel, no. 4 (1989), pp. 103-120. http://geodesic.mathdoc.fr/item/PSMIR_1989___4_103_0/
@article{PSMIR_1989___4_103_0,
     author = {Heintz, Joos and Roy, Marie-Fran\c{c}oise and Solerno, Pablo},
     title = {Sur la complexit\'e du principe de {Tarski-Seidenberg}},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {103--120},
     year = {1989},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {4},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PSMIR_1989___4_103_0/}
}
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://geodesic.mathdoc.fr/item/PSMIR_1989___4_103_0/
LA  - fr
ID  - PSMIR_1989___4_103_0
ER  - 
%0 Journal Article
%A Heintz, Joos
%A Roy, Marie-Françoise
%A Solerno, Pablo
%T Sur la complexité du principe de Tarski-Seidenberg
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1989
%P 103-120
%N 4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://geodesic.mathdoc.fr/item/PSMIR_1989___4_103_0/
%G fr
%F PSMIR_1989___4_103_0

Voir la notice de l'acte provenant de la source Numdam