Réductions de graphes et systèmes de Church-Rosser
RAIRO - Operations Research - Recherche Opérationnelle, Tome 15 (1981) no. 2, pp. 109-117

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

@article{RO_1981__15_2_109_0,
     author = {Chaty, G. and Chein, M.},
     title = {R\'eductions de graphes et syst\`emes de {Church-Rosser}},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {109--117},
     publisher = {EDP-Sciences},
     volume = {15},
     number = {2},
     year = {1981},
     mrnumber = {627132},
     zbl = {0468.90056},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/RO_1981__15_2_109_0/}
}
TY  - JOUR
AU  - Chaty, G.
AU  - Chein, M.
TI  - Réductions de graphes et systèmes de Church-Rosser
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 1981
SP  - 109
EP  - 117
VL  - 15
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/RO_1981__15_2_109_0/
LA  - fr
ID  - RO_1981__15_2_109_0
ER  - 
%0 Journal Article
%A Chaty, G.
%A Chein, M.
%T Réductions de graphes et systèmes de Church-Rosser
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1981
%P 109-117
%V 15
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/RO_1981__15_2_109_0/
%G fr
%F RO_1981__15_2_109_0
Chaty, G.; Chein, M. Réductions de graphes et systèmes de Church-Rosser. RAIRO - Operations Research - Recherche Opérationnelle, Tome 15 (1981) no. 2, pp. 109-117. http://geodesic.mathdoc.fr/item/RO_1981__15_2_109_0/