Geodesic
Une double hiérarchie infinie de langages vérifiables
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) no. R1, pp. 5-19

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1975__9_1_5_0,
     author = {Rodriguez, Fran\c{c}ois},
     title = {Une double hi\'erarchie infinie de langages v\'erifiables},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {5--19},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {9},
     number = {R1},
     year = {1975},
     mrnumber = {418523},
     zbl = {0352.68088},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1975__9_1_5_0/}
}
TY  - JOUR
AU  - Rodriguez, François
TI  - Une double hiérarchie infinie de langages vérifiables
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1975
SP  - 5
EP  - 19
VL  - 9
IS  - R1
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://geodesic.mathdoc.fr/item/ITA_1975__9_1_5_0/
LA  - fr
ID  - ITA_1975__9_1_5_0
ER  - 
%0 Journal Article
%A Rodriguez, François
%T Une double hiérarchie infinie de langages vérifiables
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1975
%P 5-19
%V 9
%N R1
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1975__9_1_5_0/
%G fr
%F ITA_1975__9_1_5_0
Rodriguez, François. Une double hiérarchie infinie de langages vérifiables. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) no. R1, pp. 5-19. http://geodesic.mathdoc.fr/item/ITA_1975__9_1_5_0/