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
Cet article a éte moissonné depuis la source Numdam
@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
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/
