Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 6, pp. 539-558
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1997__31_6_539_0,
author = {Nour, Karim},
title = {Une r\'eponse n\'egative \`a la conjecture de {E.} {Tronci} pour les syst\`emes num\'eriques typ\'es},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {539--558},
publisher = {EDP-Sciences},
volume = {31},
number = {6},
year = {1997},
mrnumber = {1607520},
zbl = {0898.68010},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ITA_1997__31_6_539_0/}
}
TY - JOUR AU - Nour, Karim TI - Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1997 SP - 539 EP - 558 VL - 31 IS - 6 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1997__31_6_539_0/ LA - fr ID - ITA_1997__31_6_539_0 ER -
%0 Journal Article %A Nour, Karim %T Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1997 %P 539-558 %V 31 %N 6 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1997__31_6_539_0/ %G fr %F ITA_1997__31_6_539_0
Nour, Karim. Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 6, pp. 539-558. http://geodesic.mathdoc.fr/item/ITA_1997__31_6_539_0/