Voir la notice de l'article provenant de la source Numdam
@article{ITA_1983__17_1_49_0,
author = {Calude, Cristian and P\u{a}un, Gheorghe},
title = {Independent instances for some undecidable problems},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {49--54},
publisher = {EDP-Sciences},
volume = {17},
number = {1},
year = {1983},
mrnumber = {701987},
zbl = {0517.03022},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1983__17_1_49_0/}
}
TY - JOUR AU - Calude, Cristian AU - Păun, Gheorghe TI - Independent instances for some undecidable problems JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1983 SP - 49 EP - 54 VL - 17 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1983__17_1_49_0/ LA - en ID - ITA_1983__17_1_49_0 ER -
%0 Journal Article %A Calude, Cristian %A Păun, Gheorghe %T Independent instances for some undecidable problems %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1983 %P 49-54 %V 17 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1983__17_1_49_0/ %G en %F ITA_1983__17_1_49_0
Calude, Cristian; Păun, Gheorghe. Independent instances for some undecidable problems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983) no. 1, pp. 49-54. http://geodesic.mathdoc.fr/item/ITA_1983__17_1_49_0/