Réductions de graphes et systèmes de Church-Rosser
RAIRO - Operations Research - Recherche Opérationnelle, Tome 15 (1981) no. 2, pp. 109-117.
@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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/item/RO_1981__15_2_109_0/

1. G. Chaty, M. Chein, P. Martin et G. Petolla, Number of Jumps and Ordered Matchings in Bipartite Digraphs, Rapport de rech., n° 5, 1978, Groupe de recherche, n° 22, C.N.R.S.

2. M. Chein et M. Habib, Jumps in Digraphs and Partial Orders: an Introduction. Annals of Discrete Math., vol. 9, 1980. p. 189-194. | MR | Zbl

3. M. Habib, Partition en chemins des sommets et sauts dans les graphes sans circuit, Thèse, Université Paris-VI, 1975.

4. G. Huet, Confluent Reductions: Abstract Properties and applications to Term Rewriting Systems, J.A.C.M. vol. 27, 1980, p. 797-821. | MR | Zbl

5. G. Lambert, Indice de C-partition des sommets d'un graphe, algorithmes derecouvrement, Thèse, Université Paris-Vl, 1975.

6. P. C. Liu et R. C. Geldmacher, Graph Reducibility, Utilitas Math., Congres. Num., vol. 15, 1976, p. 433-445. | MR | Zbl

7. B. Rosen, Tree-Manipulating Systems and Church-Rosser Property, J.A.C.M., vol. 20, 1973, p. 160-187. | MR | Zbl