Brève communication. Reconnaissance de sous-arborescences
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Volume 5 (1971) no. R3, p. 89-95
@article{M2AN_1971__5_3_89_0,
     author = {Chauch\'e, J.},
     title = {Br\`eve communication. Reconnaissance de sous-arborescences},
     journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique},
     publisher = {Dunod},
     volume = {5},
     number = {R3},
     year = {1971},
     pages = {89-95},
     zbl = {0232.68033},
     mrnumber = {305945},
     language = {fr},
     url = {http://www.numdam.org/item/M2AN_1971__5_3_89_0}
}
Chauché, J. Brève communication. Reconnaissance de sous-arborescences. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Volume 5 (1971) no. R3, pp. 89-95. http://www.numdam.org/item/M2AN_1971__5_3_89_0/

[1] Barbault et Descles, Étude structurelle et catégorielle du système de transition avec application à la science du calcul et à la linguistique mathématique. Thèse, janvier 1970, Paris.

[2] Barry K. Rosen, Tree manupulating systems and Church-Roser Theorems. Harvard University, Cambridge Massachussets, 02138. | Zbl 0267.68013

[3] Brainerd W. S., Tree generating regular systems. I.C. 14 (1969), 217-231. | MR 239875 | Zbl 0169.31601

[4] J. Chauché, Transduction d'arborescence, application aux manipulations de formules sur ordinateur. Thèse, Grenoble, avril 1971.

[5] W. Rounds, Context-free-Grammars on tree. ACM Symp on theory of computing (1969), 143-148.

[6] Veillon, Veyrunes, Vauquois, Un métalangage de grammaires transformationnelles. Document CETA Grenoble.