%0 Journal Article %A Rodriguez, François %T Une double hiérarchie infinie de langages vérifiables %J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique %D 1975 %P 5-19 %V 9 %N R1 %I Dunod-Gauthier-Villars %C Paris %U http://www.numdam.org/item/ITA_1975__9_1_5_0/ %G fr %F ITA_1975__9_1_5_0