Arbres infinis et systèmes d'équations
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 1, pp. 31-48
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1979__13_1_31_0,
author = {Courcelle, Bruno},
title = {Arbres infinis et syst\`emes d'\'equations},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {31--48},
publisher = {EDP-Sciences},
volume = {13},
number = {1},
year = {1979},
mrnumber = {525456},
zbl = {0406.68017},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ITA_1979__13_1_31_0/}
}
TY - JOUR AU - Courcelle, Bruno TI - Arbres infinis et systèmes d'équations JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1979 SP - 31 EP - 48 VL - 13 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1979__13_1_31_0/ LA - fr ID - ITA_1979__13_1_31_0 ER -
%0 Journal Article %A Courcelle, Bruno %T Arbres infinis et systèmes d'équations %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1979 %P 31-48 %V 13 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1979__13_1_31_0/ %G fr %F ITA_1979__13_1_31_0
Courcelle, Bruno. Arbres infinis et systèmes d'équations. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 1, pp. 31-48. http://geodesic.mathdoc.fr/item/ITA_1979__13_1_31_0/