%0 Journal Article %A Calude, Cristian %A Păun, Gheorghe %T Independent instances for some undecidable problems %J RAIRO. Informatique théorique %D 1983 %P 49-54 %V 17 %N 1 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1983__17_1_49_0/ %G en %F ITA_1983__17_1_49_0