Réductions de graphes et systèmes de Church-Rosser
RAIRO - Operations Research - Recherche Opérationnelle, Tome 15 (1981) no. 2, pp. 109-117
Cet article a éte moissonné depuis 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},
year = {1981},
publisher = {EDP-Sciences},
volume = {15},
number = {2},
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 -
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/